Embedding a Dialect of SDL in PROMELA

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_19 ◽

1999 ◽

pp. 245-260 ◽

Author(s):

Heikki Tuominen

Download Full-text