Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Formal Aspects of Computing
Journal
Overview
Identifiers
View All
Overview
publication venue for
Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
. 2:226-246.
1990
Identifiers
International Standard Serial Number (ISSN)
0934-5043
Electronic International Standard Serial Number (EISSN)
1433-299X
