Fighting state space explosion: Review and evaluation (2008)

Cached

Download Links

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