A Method to Analyze Predicate Transition Nets Using SPIN Model Checker Article

cited authors

  • Alam, Dewan Mohammad Moksedul; He, Xudong

fiu authors

publication date

  • 2017

Digital Object Identifier (DOI)

start page

  • 1455

end page

  • 1481

volume

  • 27

issue

  • 9-10

research area