Bounded Model Checking High Level Petri Nets in PIPE plus Verifier Conference

Liu, Su, Zeng, Reng, Sun, Zhuo et al. (2014). Bounded Model Checking High Level Petri Nets in PIPE plus Verifier . Lecture Notes in Computer Science, 8829 348-363.

cited authors

  • Liu, Su; Zeng, Reng; Sun, Zhuo; He, Xudong

authors

date/time interval

  • November 3, 2014 -

publication date

  • January 1, 2014

webpage

published in

keywords

  • Bounded Model Checking
  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Formal Methods
  • Model Checking
  • Petri Nets
  • SATISFIABILITY MODULO THEORIES
  • Science & Technology
  • Technology

International Standard Book Number (ISBN) 13

start page

  • 348

end page

  • 363

volume

  • 8829