Projections of the Reachability Graph and Environment Models (1989)

by H Krumm
Venue:In Proc. International Workshops on Automatic Verification Methods for Finite State Systems