Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
Analyzing a Formal Specification of Mondex Using Model Checking
Conference
Zeng, Reng, He, Xudong. (2010). Analyzing a Formal Specification of Mondex Using Model Checking .
EURO-PAR 2011 PARALLEL PROCESSING, PT 1,
6255 214-229.
Share this citation
Twitter
Email
Zeng, Reng, He, Xudong. (2010). Analyzing a Formal Specification of Mondex Using Model Checking .
EURO-PAR 2011 PARALLEL PROCESSING, PT 1,
6255 214-229.
Copy Citation
Share
Overview
Research
Location
Identifiers
Additional Document Info
View All
Overview
cited authors
Zeng, Reng; He, Xudong
authors
He, Xudong
date/time interval
September 1, 2010 -
publication date
January 1, 2010
webpage
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000284034600015&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=e451fd656366bf1ec5554941920a9ccb
published in
DISTRIBUTED COMPUTING (DISC 2014)
Book
Research
keywords
Computer Science
Computer Science, Theory & Methods
Grand Challenge
High Level Petri Net
Model Checking
Mondex
SAM
Science & Technology
Technology
Location
Location
Natal, BRAZIL
Identifiers
International Standard Book Number (ISBN) 13
978-3-642-14807-1
Additional Document Info
Conference
7th International Colloquium Theoretical Aspects of Computing
publisher
SPRINGER-VERLAG BERLIN
start page
214
end page
229
volume
6255