DMCA

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (1999)

Cached

Download Links

by Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu , Susanne Graf , Jean-pierre Krimm , Laurent Mounier
Citations:15 - 4 self