Introduction to Verification

TitleIntroduction to Verification
Publication TypeBook Chapter
Year of Publication1998
AuthorsColom, JM, Haddad S
EditorGirault, C, Valk R
Book TitleSystems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools
Chapter14
Pagination171-190
CityZaragoza, Spain
Other NumbersD.L. 2392/98
Export