Media type: Book Title: Analysis and formal verification of SDL '92 specifications using extended Petri nets Contributor: Fischer, Joachim [Author]; Dimitrov, Evgeni [Other]; Taubert, Udo [Other] imprint: Berlin: Professoren des Inst. für Informatik, 1995 Published in: Informatik-Berichte ; 4300 Extent: 79 S; graph. Darst; 30 cm Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 4 64504 001 Item ID: 10015064 Status: Loanable, place order > Ordering possible ‒ please log in