%0 Journal Article %1 journals/siglog/AlurHV15 %A Alur, Rajeev %A Henzinger, Thomas A. %A Vardi, Moshe Y. %D 2015 %J ACM SIGLOG News %K dblp %N 1 %P 46-51 %T Theory in practice for system design and verification. %U http://dblp.uni-trier.de/db/journals/siglog/siglog2.html#AlurHV15 %V 2

@article{journals/siglog/AlurHV15, added-at = {2022-06-10T00:00:00.000+0200}, author = {Alur, Rajeev and Henzinger, Thomas A. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2b5d7cea35039079b2b0f0f6d3ac45132/dblp}, ee = {https://doi.org/10.1145/2728816.2728827}, interhash = {2a5378f603aaae50b23aca292e146713}, intrahash = {b5d7cea35039079b2b0f0f6d3ac45132}, journal = {ACM SIGLOG News}, keywords = {dblp}, number = 1, pages = {46-51}, timestamp = {2024-04-08T09:55:07.000+0200}, title = {Theory in practice for system design and verification.}, url = {http://dblp.uni-trier.de/db/journals/siglog/siglog2.html#AlurHV15}, volume = 2, year = 2015 }