Alain Girault, Eric Rutten. Discrete Controller Synthesis for Fault-Tolerant Distributed Systems. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04, September 2004.
Alain Girault http://pop-art.inrialpes.fr/people/girault/
Eric Rutten http://pop-art.inrialpes.fr/people/rutten/
@InProceedings{fmics04,
Author = {Girault, Alain and Rutten, Eric},
Title = {Discrete Controller Synthesis for Fault-Tolerant Distributed Systems},
BookTitle = {Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04},
Publisher = {Tech. Rep of Kepler University Linz & ENTCS Eslevier},
Month = {September},
Year = {2004}
}
Get EndNote Reference (.ref)