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

Document Versions

Fighting state space explosion: Review and evaluation –Radek Pelánek — 2008 — In Proc. of Formal Methods for Industrial Critical Systems (FMICS’08