A Tool for Abstraction in Model Checking
β
MarΓa del Mar Gallardo; JesΓΊs MartΓnez; Pedro Merino; Ernesto Pimentel
π
Article
π
2002
π
Elsevier Science
π
English
β 370 KB