Analyzing a Formal Specification of Mondex Using Model Checking

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 . Lecture Notes in Computer Science, 6255 214-229.

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

Lecture Notes in Computer Science Journal

keywords

Computer Science
Computer Science, Theory & Methods
Grand Challenge
High Level Petri Net
Model Checking
Mondex
SAM
Science & Technology
Technology

International Standard Book Number (ISBN) 13

978-3-642-14807-1

start page

214

end page

229

volume

6255