Test Selection Criteria for Modal Specifications of Reactive Systems.

Marc Aiguier, Delphine Longuet

Browse the full TASE paper archive.