Jump to : Contact | BibTex reference | EndNote reference |

girault09c

A. Girault, E. Rutten. Automating the Addition of Fault Tolerance with Discrete Controller Synthesis. Formal Methods in System Design, 2010.

Contact

Alain Girault http://pop-art.inrialpes.fr/people/girault/
Eric Rutten http://pop-art.inrialpes.fr/people/rutten/

BibTex Reference

@article{girault09c,
   Author = {Girault, A. and Rutten, E.},
   Title = {Automating the Addition of Fault Tolerance with Discrete Controller Synthesis},
   Journal = {Formal Methods in System Design},
   Month = {},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)