%0 Journal Article %1 journals/pieee/Falk04a %A Falk, Howard %D 2004 %J Proc. IEEE %K dblp %N 8 %P 1281-1282 %T Formal Verification of Timed Systems: A Survey and Perspective. %U http://dblp.uni-trier.de/db/journals/pieee/pieee92.html#Falk04a %V 92

@article{journals/pieee/Falk04a, added-at = {2020-10-02T00:00:00.000+0200}, author = {Falk, Howard}, biburl = {https://www.bibsonomy.org/bibtex/2170f44264283c44c92bd045e1188eb1b/dblp}, ee = {https://doi.org/10.1109/JPROC.2004.831210}, interhash = {214c5c4b041defd9738dbd3e5a34a253}, intrahash = {170f44264283c44c92bd045e1188eb1b}, journal = {Proc. IEEE}, keywords = {dblp}, number = 8, pages = {1281-1282}, timestamp = {2020-10-03T11:44:55.000+0200}, title = {Formal Verification of Timed Systems: A Survey and Perspective.}, url = {http://dblp.uni-trier.de/db/journals/pieee/pieee92.html#Falk04a}, volume = 92, year = 2004 }