Fighting state space explosion: Review and evaluation (2008)

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