> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems Beteiligte: Lomazova, Irina A. Erschienen: IOS Press, 2000 Erschienen in: Fundamenta Informaticae Sprache: Nicht zu entscheiden DOI: 10.3233/fi-2000-43123410 ISSN: 0169-2968 Entstehung: Anmerkungen: