Typical Structural Properties of State Spaces (2004)

by R Pelánek
Venue:In Proc. of SPIN Workshop, volume 2989 of LNCS