%0 Journal Article %1 journals/computer/HenzingerS07 %A Henzinger, Thomas A. %A Sifakis, Joseph %D 2007 %J Computer %K dblp %N 10 %P 32-40 %T The Discipline of Embedded Systems Design. %U http://dblp.uni-trier.de/db/journals/computer/computer40.html#HenzingerS07 %V 40

@article{journals/computer/HenzingerS07, added-at = {2020-08-12T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Sifakis, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/21f30657fc6666ed136c917ca7e685d1c/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MC.2007.364}, interhash = {fdb51159d03baf5a7c4a282b2a466f8c}, intrahash = {1f30657fc6666ed136c917ca7e685d1c}, journal = {Computer}, keywords = {dblp}, number = 10, pages = {32-40}, timestamp = {2020-08-13T11:46:10.000+0200}, title = {The Discipline of Embedded Systems Design.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer40.html#HenzingerS07}, volume = 40, year = 2007 }