%0 Journal Article %1 journals/entcs/KimLSSS02 %A Kim, Moonjoo %A Lee, Insup %A Sammapun, Usa %A Shin, Jangwoo %A Sokolsky, Oleg %D 2002 %J Electr. Notes Theor. Comput. Sci. %K VST4WSN formal model_checking real_time runtime_checking %N 4 %T Monitoring, Checking, and Steering of Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs70.html#KimLSSS02 %V 70

@article{journals/entcs/KimLSSS02, added-at = {2010-04-20T15:32:22.000+0200}, author = {Kim, Moonjoo and Lee, Insup and Sammapun, Usa and Shin, Jangwoo and Sokolsky, Oleg}, biburl = {https://www.bibsonomy.org/bibtex/21d3d24e1b14ceb11cb40678451d73a63/davef}, date = {2004-07-28}, description = {inklusive SteeringActionDefinitionLanguage}, ee = {http://www.elsevier.com/gej-ng/31/29/23/125/49/show/Products/notes/index.htt#007}, interhash = {b3216539d939126671436e1c7eda90bb}, intrahash = {1d3d24e1b14ceb11cb40678451d73a63}, journal = {Electr. Notes Theor. Comput. Sci.}, keydf = {VST4WSN7}, keywords = {VST4WSN formal model_checking real_time runtime_checking}, number = 4, priority = {1}, timestamp = {2010-04-20T15:32:23.000+0200}, title = {Monitoring, Checking, and Steering of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs70.html#KimLSSS02}, volume = 70, year = 2002 }