106 articles – 48 Notices  [english version]
.:. Consultation > Liste par auteurs > 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]