Sciweavers

FMICS
2008
Springer
14 years 18 days ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek