> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Pushdown processes : parallel composition and model checking Beteiligte: Burkart, Olaf [VerfasserIn]; Steffen, Bernhard [VerfasserIn] Erschienen: Aachen: RWTH, Fachgruppe Informatik, [1993] Erschienen in: Aachener Informatik-Berichte ; 199310 Umfang: 16 S; graph. Darst; 21 cm Sprache: Englisch RVK-Notation: SS 4080 : Aachener Informatik-Berichte Schlagwörter: Forschungsbericht ; Bericht Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Aachener Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 95 8 50795 001 Barcode: 10010852 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden