كتاب إلكتروني
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 |