> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Automatic Verification of Sequential Infinite-State Processes Beteiligte: Burkart, Olaf [Verfasser:in] Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 1997 Erschienen in: Lecture notes in computer science ; 1354 Bücher Umfang: Online-Ressource Sprache: Englisch ISBN: 9783540639824 RVK-Notation: ST 136 : Automatentheorie, Formale Sprache SS 4800 : Lecture notes in computer science Schlagwörter: Kellerautomat > Kontextfreie Grammatik > Prozessalgebra > Verifikation > Model Checking > Modallogik Entstehung: Anmerkungen: