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.

keywords

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

Location

  • Natal, BRAZIL

International Standard Book Number (ISBN) 13

Conference

  • 7th International Colloquium Theoretical Aspects of Computing

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 214

end page

  • 229

volume

  • 6255