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

Bibliografski detalji
Glavni autor: Lakos
Format: Elektronički e-knjiga
Jezik:engleski
Izdano: Association for Computing Machinery (ACM), 1/1/02
Teme:
Online pristup:Full text available on Research4Life (ACM)
Opis
Opis predmeta:<strong>On-Campus Access Only (IP based access)</strong>
Opis fizičkog objekta:1 online resource
Format:Mode of access: Internet
ISBN:9780909925901
Pristup:Electronic access restricted to authorized AUW faculty, staff and students