%0 Conference Paper %1 conf/icalp/HenzingerKKM02 %A Henzinger, Thomas A. %A Krishnan, Sriram C. %A Kupferman, Orna %A Mang, Freddy Y. C. %B ICALP %D 2002 %E Widmayer, Peter %E Ruiz, Francisco Triguero %E Bueno, Rafael Morales %E Hennessy, Matthew %E Eidenbenz, Stephan J. %E Conejo, Ricardo %I Springer %K dblp %P 644-656 %T Synthesis of Uninitialized Systems. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2002.html#HenzingerKKM02 %V 2380 %@ 3-540-43864-5

@inproceedings{conf/icalp/HenzingerKKM02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Krishnan, Sriram C. and Kupferman, Orna and Mang, Freddy Y. C.}, biburl = {https://www.bibsonomy.org/bibtex/25593f3bc9bf75ff675b469878e2e45ee/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2002}, editor = {Widmayer, Peter and Ruiz, Francisco Triguero and Bueno, Rafael Morales and Hennessy, Matthew and Eidenbenz, Stephan J. and Conejo, Ricardo}, ee = {https://doi.org/10.1007/3-540-45465-9_55}, interhash = {af6bff6c61c1a0bd888f7702bd13919f}, intrahash = {5593f3bc9bf75ff675b469878e2e45ee}, isbn = {3-540-43864-5}, keywords = {dblp}, pages = {644-656}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-12T11:40:32.000+0200}, title = {Synthesis of Uninitialized Systems.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2002.html#HenzingerKKM02}, volume = 2380, year = 2002 }