From code to models

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981759 ◽

2002 ◽

Cited By ~ 11

Author(s):

G.J. Holzmann

Download Full-text