2004): Verification of reactive systems. Formal Methods and Algorithms (0)

by Klaus Schneider