Gaëlle Largeteau, Dominique Geniet. Term Validation of Distributed Hard Real-Time Applications. In Jean-Marc Champarnaud, Denis Maurel, editors, Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers. Volume 2608 of Lecture Notes in Computer Science, pages 262-269, Springer, 2002. [doi]
Abstract is missing.