Model checking modal transition systems using Kripke structures (0)

by M Huth
Venue:In Third International Workshop on Veri Model Checking and Abstract Interpretation