4464 articles – 13151 references  [version française]
.:. Browse > List by authors > Asarin .:.
1 document
Some Progress in Satisfiability Checking for Difference Logic
Cotton S., Asarin E., Maler O., Niebert P.
In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, France (2004) [hal-00157566 - version 1]