%0 Journal Article %1 journals/fmsd/BryantGSV10 %A Bryant, Randal E. %A Grumberg, Orna %A Sifakis, Joseph %A Vardi, Moshe Y. %D 2010 %J Formal Methods Syst. Des. %K dblp %N 3 %P 195-197 %T 2009 CAV award announcement. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd36.html#BryantGSV10 %V 36

@article{journals/fmsd/BryantGSV10, added-at = {2020-03-13T00:00:00.000+0100}, author = {Bryant, Randal E. and Grumberg, Orna and Sifakis, Joseph and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/22241b2770285ec46f2051f56e3ba00cd/dblp}, ee = {https://doi.org/10.1007/s10703-010-0094-9}, interhash = {8d0fddfdfb8cfa2df71a473df41adb52}, intrahash = {2241b2770285ec46f2051f56e3ba00cd}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {195-197}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {2009 CAV award announcement.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd36.html#BryantGSV10}, volume = 36, year = 2010 }