> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Model checking for context free processes Beteiligte: Burkart, Olaf [VerfasserIn]; Steffen, Bernhard [VerfasserIn] Erschienen: Aachen: RWTH, Fachgruppe Informatik, 1992 Erschienen in: Aachener Informatik-Berichte ; 92,6 Umfang: 22 S.; graph. Darst Sprache: Englisch RVK-Notation: SS 4080 : Aachener Informatik-Berichte Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Aachener Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 95 8 50741 001 Barcode: 10011131 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden