Pang, Jun[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2009
Proc. 21th International Conference on Computer Aided Verification
Springer-Verlag
Lecture Notes in Computer Science 5643
709–714
Yes
International
Proc. 21th International Conference on Computer Aided Verification