> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Elektronische Zeitschrift Titel: Scientific annals of computer science Körperschaft: Universitatea Alexandru Ioan Cuza Erschienen: Iaşi: Univ. Press, 1992- Erscheinungsverlauf: 1.1992 - Sprache: Englisch DOI: 10.7561/SACS ISSN: 2248-2695 Identifikator: Schlagwörter: Angewandte Informatik > Theoretische Informatik Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung - Keine Bearbeitung (CC BY-ND)
Best, Eike [Verfasser:in]; Devillers, Raymond R. [Verfasser:in]; Schlachter, Uli [Verfasser:in]; Wimmel, Harro [Verfasser:in] Simultaneous Petri Net Synthesis E. Best, R. Devillers, U. Schlachter, H. Wimmel 2018
Mosaad, Peter Nazier [Verfasser:in]; Fränzle, Martin [Verfasser:in]; Xue, Bai [Verfasser:in] Model checking delay differential equations against metric interval temporal logic Peter Nazier Mosaad, Martin Fränzle, Bai Xue 2017