Analyzing a Formal Specification of Mondex Using Model Checking Proceedings Paper

cited authors

  • Zeng, Reng; He, Xudong

fiu authors

publication date

  • 2010

published in

start page

  • 214

end page

  • 229

volume

  • 6255

research area