> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems Beteiligte: Tomasz Szmuc; Slawomir Samolej Erschienen: 2002 Erschienen in: Computer Science Sprache: Englisch ISSN: 1508-2806 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang