كتاب إلكتروني
Anhang A: Prover-Online-Dokumentation
العنوان: | Anhang A: Prover-Online-Dokumentation |
---|---|
المؤلفون: | Leszak, M.Aff3, Eggert, H.Aff4 |
المساهمون: | Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2 |
المصدر: | Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:137-147 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783540506423 9783642743634 |
---|---|
DOI: | 10.1007/978-3-642-74363-4_8 |