Hugues Chabot, Raphael Khoury, Nadia Tawbi. Generating In-Line Monitors for Rabin Automata. In Audun Jøsang, Torleiv Maseng, Svein J. Knapskog, editors, Identity and Privacy in the Internet Age, 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings. Volume 5838 of Lecture Notes in Computer Science, pages 287-301, Springer, 2009. [doi]
Abstract is missing.