author : Jean-Claude Fernandez

Short works

• IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. 1999. (In FM'99 volume 1 )