Xeve, an Esterel verification environment

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028770 ◽

1998 ◽

pp. 500-504 ◽

Cited By ~ 20

Author(s):

Amar Bouali

Download Full-text