Extension of the Karp and Miller Procedure to Lotos Specifications.

Michel Barbeau, Gregor von Bochmann

Browse the full CAV paper archive.