Articles

• Verification of State/Event Systems by Quotienting

  Nicky O. Bodentien, Jacob Vestergaard, Jacob Friis, Kåre J. Kristoffersen, Kim G. Petersen

  • PDF