Typical structural properties of state spaces (2004)

by R Pelánek
Venue:In Proceedings of SPIN – Software Model Checking, Volume 2989 of Lecture Notes in Computer Science