Linking ST e P with SPIN

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_11 ◽

2000 ◽

pp. 181-186

Author(s):

Anca Browne ◽

Henny Sipma ◽

Ting Zhang

Download Full-text