Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Proceedings - International Conference on Software Engineering
Journal
Overview
Identifiers
View All
Overview
publication venue for
Evaluating test adequacy coverage of high level petri nets using spin
2008
Identifiers
International Standard Serial Number (ISSN)
0270-5257