Publications de
Güdemann Matthias , Salaün Gwen, Meriem Ouederni
Counterexample Guided Synthesis of Monitors for Realizability Enforcement (regular paper)
Dans : Automated Technology for Verification and Analysis, Inde, 03/10/12-06/10/12, Vol. 7561, Chakraborty Supratik, Mukund Madhavan (Eds.), Springer, Lecture Notes in Computer Science, p. 238-253, 2012.
Résumé Accès : http://link.springer.com/chapter/10.1007%2F978-3-642-33386-6_20
BibTeX