Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Association for Computing Machinery (ACM),
1/1/02
|
| विषय: | |
| ऑनलाइन पहुंच: | Full text available on Research4Life (ACM) |