%0 Conference Paper %1 conf/vmcai/EhlersSK14 %A Ehlers, Rüdiger %A Seshia, Sanjit A. %A Kress-Gazit, Hadas %B VMCAI %D 2014 %E McMillan, Kenneth L. %E Rival, Xavier %I Springer %K dblp %P 415-433 %T Synthesis with Identifiers. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#EhlersSK14 %V 8318 %@ 978-3-642-54012-7

@inproceedings{conf/vmcai/EhlersSK14, added-at = {2017-06-15T00:00:00.000+0200}, author = {Ehlers, Rüdiger and Seshia, Sanjit A. and Kress-Gazit, Hadas}, biburl = {https://www.bibsonomy.org/bibtex/25911db27e8b6fee42a8552fefa9dbe03/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2014}, editor = {McMillan, Kenneth L. and Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-642-54013-4_23}, interhash = {2dcf8418cefa2cb5bc5af8fa0adc7325}, intrahash = {5911db27e8b6fee42a8552fefa9dbe03}, isbn = {978-3-642-54012-7}, keywords = {dblp}, pages = {415-433}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:12.000+0200}, title = {Synthesis with Identifiers.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#EhlersSK14}, volume = 8318, year = 2014 }