Nr. 41 (1999): RS-41 Verification of State/Event Systems by Quotienting

Artikler

• Verification of State/Event Systems by Quotienting

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

  • PDF (English)