%0 Conference Paper %1 conf/nordsec/ChabotKT09 %A Chabot, Hugues %A Khoury, Raphaël %A Tawbi, Nadia %B NordSec %D 2009 %E Jøsang, Audun %E Maseng, Torleiv %E Knapskog, Svein J. %I Springer %K dblp %P 287-301 %T Generating In-Line Monitors for Rabin Automata. %U http://dblp.uni-trier.de/db/conf/nordsec/nordsec2009.html#ChabotKT09 %V 5838 %@ 978-3-642-04765-7

@inproceedings{conf/nordsec/ChabotKT09, added-at = {2024-05-07T00:00:00.000+0200}, author = {Chabot, Hugues and Khoury, Raphaël and Tawbi, Nadia}, biburl = {https://www.bibsonomy.org/bibtex/2297554b205cb7e9f5cd9517dd4428502/dblp}, booktitle = {NordSec}, crossref = {conf/nordsec/2009}, editor = {Jøsang, Audun and Maseng, Torleiv and Knapskog, Svein J.}, ee = {https://doi.org/10.1007/978-3-642-04766-4_20}, interhash = {0e82fc29a3af95cc0b2a63c04e541108}, intrahash = {297554b205cb7e9f5cd9517dd4428502}, isbn = {978-3-642-04765-7}, keywords = {dblp}, pages = {287-301}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:56:19.000+0200}, title = {Generating In-Line Monitors for Rabin Automata.}, url = {http://dblp.uni-trier.de/db/conf/nordsec/nordsec2009.html#ChabotKT09}, volume = 5838, year = 2009 }