In this work, we propose two translations: one from extended

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.10 ◽

2006 ◽

Cited By ~ 2

Author(s):

K. Altisen ◽

F. Cassez ◽

S. Tripakis

Download Full-text