%0 Conference Paper %1 conf/tacas/UrbanGK16 %A Urban, Caterina %A Gurfinkel, Arie %A Kahsai, Temesghen %B TACAS %D 2016 %E Chechik, Marsha %E Raskin, Jean-François %I Springer %K dblp %P 54-70 %T Synthesizing Ranking Functions from Bits and Pieces. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#UrbanGK16 %V 9636 %@ 978-3-662-49673-2

@inproceedings{conf/tacas/UrbanGK16, added-at = {2022-01-03T00:00:00.000+0100}, author = {Urban, Caterina and Gurfinkel, Arie and Kahsai, Temesghen}, biburl = {https://www.bibsonomy.org/bibtex/2d75283af7034987d20f5d0b31d0de018/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2016}, editor = {Chechik, Marsha and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-662-49674-9_4}, interhash = {67f0e7e568d40adc3a5cedf58ae633e6}, intrahash = {d75283af7034987d20f5d0b31d0de018}, isbn = {978-3-662-49673-2}, keywords = {dblp}, pages = {54-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:29:49.000+0200}, title = {Synthesizing Ranking Functions from Bits and Pieces.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#UrbanGK16}, volume = 9636, year = 2016 }