|
||
---|---|---|
hal-01226470v1
Conference papers
An Automatic Technique for Checking the Simulation of Timed Systems 11th International Symposium Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoï, Vietnam. pp. 71-86 |
||
hal-01220607v1
Conference papers
Event Algebra for Transition Systems Composition - Application to Timed Automata 20th International Symposium on Temporal Representation and Reasoning (TIME 2013), Sep 2013, Penscacolq, FL, United States. pp. 125-132 |
||
hal-02538359v1
Journal articles
Event algebra for transition systems composition Application to timed automata Acta Informatica, Springer Verlag, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩ |
||
|