%0 Conference Paper %1 conf/lpar/KupfermanV10 %A Kupferman, Orna %A Vardi, Moshe Y. %B LPAR (Dakar) %D 2010 %E Clarke, Edmund M. %E Voronkov, Andrei %I Springer %K dblp %P 312-331 %T Synthesis of Trigger Properties. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2010d.html#KupfermanV10 %V 6355 %@ 978-3-642-17510-7

@inproceedings{conf/lpar/KupfermanV10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kupferman, Orna and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/248b7f3bacde2a49f98b54c507a223090/dblp}, booktitle = {LPAR (Dakar)}, crossref = {conf/lpar/2010d}, editor = {Clarke, Edmund M. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-17511-4_18}, interhash = {e657d8604f896e53f0e5e2afa2273909}, intrahash = {48b7f3bacde2a49f98b54c507a223090}, isbn = {978-3-642-17510-7}, keywords = {dblp}, pages = {312-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:21:47.000+0200}, title = {Synthesis of Trigger Properties.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2010d.html#KupfermanV10}, volume = 6355, year = 2010 }