Old Web
English
Sign In
Acemap
>
Paper
>
VeriGEM: A verification grid for enhanced model checking
VeriGEM: A verification grid for enhanced model checking
2006
Boudewijn R. Haverkort
J. F. Groote
J.C. van dePol
M. Kuntz
M Weber
Keywords:
Theoretical computer science
Computer science
Design rule checking
Grid
Model checking
Parallel computing
Correction
Source
Cite
Save
Machine Reading By IdeaReader
1
References
0
Citations
NaN
KQI
[]