302 articles – 345 references  [version française]
.:. Browse > List by authors > D'Souza .:.
1 document
fulltext access On timed automata with input-determined guards
D'Souza D., Tabareau N.
Dans Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, France (2004) [hal-00017462 - version 1]