Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten. Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. In Proceedings of the European Symposium on Programming, ESOP'03, April 7 - 11, 2003,Warsaw, Poland, Lecture Notes in Computer Science (LNCS), 2003.
Eric Rutten http://pop-art.inrialpes.fr/people/rutten/
@InProceedings{esop03,
Author = {Altisen, Karine and Clodic, Aurélie and Maraninchi, Florence and Rutten, Eric},
Title = {Using Controller-Synthesis Techniques to Build Property-Enforcing Layers},
BookTitle = {Proceedings of the European Symposium on Programming, ESOP'03, {April 7 - 11, 2003,Warsaw, Poland}},
Number = {2618},
Series = {Lecture Notes in Computer Science (LNCS)},
Publisher = {Springer Verlag},
Year = {2003}
}
Get EndNote Reference (.ref)