Disjunction of LOTOS Specifications.

Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten

Browse the full FORTE paper archive.