Sciweavers

Share
SOFSEM
2007
Springer

Model-Checking Large Finite-State Systems and Beyond

8 years 10 months ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SOFSEM
Authors Lubos Brim, Mojmír Kretínský
Comments (0)
books