Old Web
English
Sign In
Acemap
>
Paper
>
The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09)
The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09)
2009
Siert Wieringa
Matti Niemenmaa
Keijo Heljanko
Keywords:
Computer science
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]