Typical structural properties of state spaces (0)

by R Pelanek
Venue:Model Checking Software, 11th International SPIN Workshop