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

Bibliographic Details
Main Author: Lakos
Format: Electronic Book
Language:English
Published: Association for Computing Machinery (ACM), 1/1/02
Subjects:
Online Access:Full text available on Research4Life (ACM)
Classic Catalogue: View this record in Classic Catalogue
Description
Item Description:<strong>On-Campus Access Only (IP based access)</strong>
Physical Description:1 online resource
Format:Mode of access: Internet
ISBN:9780909925901
Access:Electronic access restricted to authorized BRAC University faculty, staff and students