Towards a Compositional SPIN

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11691617_14 ◽

2006 ◽

pp. 234-251 ◽

Cited By ~ 3

Author(s):

Corina S. Păsăreanu ◽

Dimitra Giannakopoulou

Download Full-text