Fighting state space explosion: Review and evaluation (2008)

by Radek Pelánek
Venue:In Proc. of Formal Methods for Industrial Critical Systems (FMICS’08