%0 Conference Paper %1 conf/vmcai/SohailSR08 %A Sohail, Saqib %A Somenzi, Fabio %A Ravi, Kavita %B VMCAI %D 2008 %E Logozzo, Francesco %E Peled, Doron A. %E Zuck, Lenore D. %I Springer %K dblp %P 309-323 %T A Hybrid Algorithm for LTL Games. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2008.html#SohailSR08 %V 4905 %@ 978-3-540-78162-2

@inproceedings{conf/vmcai/SohailSR08, added-at = {2017-05-24T00:00:00.000+0200}, author = {Sohail, Saqib and Somenzi, Fabio and Ravi, Kavita}, biburl = {https://www.bibsonomy.org/bibtex/2215bbff62ba7c49fd8e1a95a4f617f81/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2008}, editor = {Logozzo, Francesco and Peled, Doron A. and Zuck, Lenore D.}, ee = {https://doi.org/10.1007/978-3-540-78163-9_26}, interhash = {76ad232f60469d4948e9396deac4580b}, intrahash = {215bbff62ba7c49fd8e1a95a4f617f81}, isbn = {978-3-540-78162-2}, keywords = {dblp}, pages = {309-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:57.000+0200}, title = {A Hybrid Algorithm for LTL Games.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2008.html#SohailSR08}, volume = 4905, year = 2008 }