Parallel Model Checking Large-Scale Gene
β
J. Barnat; L. Brim; I. ΔernΓ‘; S. DraΕΎan; D. Ε afrΓ‘nek
π
Article
π
2008
π
Elsevier Science
π
English
β 657 KB