Bei epubli können Sie das Dokument Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets von Joachim Fischer,Evgeni Dimitrov,Udo Taubert einfach als Buch nach ihren Vorgaben erstellen und drucken.
Testbetrieb