%0 Journal Article %1 journals/tse/AlurHH96 %A Alur, Rajeev %A Henzinger, Thomas A. %A Ho, Pei-Hsin %D 1996 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 181-201 %T Automatic Symbolic Verification of Embedded Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse22.html#AlurHH96 %V 22

@article{journals/tse/AlurHH96, added-at = {2015-12-10T00:00:00.000+0100}, author = {Alur, Rajeev and Henzinger, Thomas A. and Ho, Pei-Hsin}, biburl = {https://www.bibsonomy.org/bibtex/238baa449aba6ef46848e232904eff2f2/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.489079}, interhash = {34a62fec13adc8d98868ee8c93260bcf}, intrahash = {38baa449aba6ef46848e232904eff2f2}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {181-201}, timestamp = {2015-12-12T11:45:10.000+0100}, title = {Automatic Symbolic Verification of Embedded Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse22.html#AlurHH96}, volume = 22, year = 1996 }