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

מידע ביבליוגרפי
מחבר ראשי: Lakos
פורמט: אלקטרוני ספר אלקטרוני
שפה:אנגלית
יצא לאור: Association for Computing Machinery (ACM), 1/1/02
נושאים:
גישה מקוונת:Full text available on Research4Life (ACM)
תיאור
תאור פריט:<strong>On-Campus Access Only (IP based access)</strong>
תיאור פיזי:1 online resource
פורמט:Mode of access: Internet
ISBN:9780909925901
גישה:Electronic access restricted to authorized AUW faculty, staff and students