%0 Conference Paper %1 conf/cav/BasinKM10 %A Basin, David A. %A Klaedtke, Felix %A Müller, Samuel %B CAV %D 2010 %E Touili, Tayssir %E Cook, Byron %E Jackson, Paul B. %I Springer %K dblp %P 1-18 %T Policy Monitoring in First-Order Temporal Logic. %U http://dblp.uni-trier.de/db/conf/cav/cav2010.html#BasinKM10 %V 6174 %@ 978-3-642-14294-9

@inproceedings{conf/cav/BasinKM10, added-at = {2019-08-29T00:00:00.000+0200}, author = {Basin, David A. and Klaedtke, Felix and Müller, Samuel}, biburl = {https://www.bibsonomy.org/bibtex/2653a6bd76c2a0b5a6c5e01f6d6215c04/dblp}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.}, ee = {https://doi.org/10.1007/978-3-642-14295-6_1}, interhash = {29f64c7cbca25097bd6d388c0a18f9e2}, intrahash = {653a6bd76c2a0b5a6c5e01f6d6215c04}, isbn = {978-3-642-14294-9}, keywords = {dblp}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-30T11:43:22.000+0200}, title = {Policy Monitoring in First-Order Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#BasinKM10}, volume = 6174, year = 2010 }