The IF Toolset

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_8 ◽

2004 ◽

pp. 237-267 ◽

Cited By ~ 60

Author(s):

Marius Bozga ◽

Susanne Graf ◽

Ileana Ober ◽

Iulian Ober ◽

Joseph Sifakis

Download Full-text