> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Decidability and complexity of model checking problems for infinite-state systems Beteiligte: Mayr, Richard [VerfasserIn] Erschienen: 1998 Umfang: 190 S. Sprache: Englisch RVK-Notation: ST 130 : Allgemeines Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: München, Techn. Univ., Diss., 1998 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 1999 4 029098 001 Barcode: 30805751 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden