> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: An elementary bisimulation decision procedure for arbitrary context free processes Beteiligte: Burkart, Olaf [Verfasser:in]; Caucal, Didier [Verfasser:in]; Steffen, Bernhard [Verfasser:in] Erschienen: Aachen: RWTH, Fachgruppe Informatik, [1994] Erschienen in: Aachener Informatik-Berichte ; 199428 Umfang: 25 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 50833 001 Barcode: 10010822 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung