2 research outputs found
Model checking concurrent and real-time systems : the PAT approach
Ph.DDOCTOR OF PHILOSOPH
Compositional encoding for bounded model checking
10.1007/s11704-008-0035-6Frontiers of Computer Science in China24368-37
2 research outputs found