%0 Journal Article %1 journals/jcse/KapitanovaWKS11 %A Kapitanova, Krasimira %A Wei, Yuan %A Kang, Woochul %A Son, Sang Hyuk %D 2011 %J JCSE %K dblp %N 1 %P 85-110 %T Applying Formal Methods to Modeling and Analysis of Real-time Data Streams. %U http://dblp.uni-trier.de/db/journals/jcse/jcse5.html#KapitanovaWKS11 %V 5

@article{journals/jcse/KapitanovaWKS11, added-at = {2011-09-19T00:00:00.000+0200}, author = {Kapitanova, Krasimira and Wei, Yuan and Kang, Woochul and Son, Sang Hyuk}, biburl = {https://www.bibsonomy.org/bibtex/2c5cdbaf054144d503053d619d97ee581/dblp}, ee = {http://dx.doi.org/10.5626/JCSE.2011.5.1.085}, interhash = {2dcde204cfb26117edd89b6c3f366a6b}, intrahash = {c5cdbaf054144d503053d619d97ee581}, journal = {JCSE}, keywords = {dblp}, number = 1, pages = {85-110}, timestamp = {2011-09-20T11:33:45.000+0200}, title = {Applying Formal Methods to Modeling and Analysis of Real-time Data Streams.}, url = {http://dblp.uni-trier.de/db/journals/jcse/jcse5.html#KapitanovaWKS11}, volume = 5, year = 2011 }