Xavier Rebeuf, G. Satriano, Françoise Simonot-Lion. A Distributed Algorithm for the Validation of Timed State Machines. In Alain Bui, Hacène Fouchal, editors, Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002. Volume 3 of Studia Informatica Universalis, pages 95-106, Suger, Saint-Denis, rue Catulienne, France, 2002.
@inproceedings{RebeufSS02,
title = {A Distributed Algorithm for the Validation of Timed State Machines},
author = {Xavier Rebeuf and G. Satriano and Françoise Simonot-Lion},
year = {2002},
tags = {state machines},
researchr = {https://researchr.org/publication/RebeufSS02},
cites = {0},
citedby = {0},
pages = {95-106},
booktitle = {Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002},
editor = {Alain Bui and Hacène Fouchal},
volume = {3},
series = {Studia Informatica Universalis},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
isbn = {2-912590-26-4},
}