Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Proceedings - IEEE Computer Society's International Computer Software & Applications Conference
Journal
Overview
Identifiers
View All
Overview
publication venue for
Mapping Petri nets to parallel programs in CC++
1996
Method for analyzing properties of hierarchical predicate transition nets
1995
Temporal predicate transition nets and their applications
1990
Identifiers
International Standard Serial Number (ISSN)
0730-6512
