> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Computer Aided Systems Theory — EUROCAST '95: Systems level specification and modelling of reactive systems: Concepts, methods, and tools Beteiligte: Glässer, Uwe Erschienen: Springer Berlin Heidelberg, 1996 Erschienen in: Computer Aided Systems Theory — EUROCAST '95 (1996), Seite 375-385 Sprache: Nicht zu entscheiden DOI: 10.1007/bfb0034774 ISBN: 9783540493587; 9783540607489 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: