The Influence of Durational Actions on Time Equivalences

Harald Fecher. The Influence of Durational Actions on Time Equivalences. In Yassine Lakhnech, Sergio Yovine, editors, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren. Volume 3253 of Lecture Notes in Computer Science, pages 231-245, Springer, 2004. [doi]

Abstract

Abstract is missing.