Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12

Бібліографічні деталі
Автор: Lakos
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Association for Computing Machinery (ACM), 1/1/02
Предмети:
Онлайн доступ:Full text available on Research4Life (ACM)