%0 Journal Article %1 journals/logcom/Levi01 %A Levi, Francesca %D 2001 %J J. Log. Comput. %K dblp %N 6 %P 829-878 %T Compositional Verification of Quantitative Properties of Statecharts. %U http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Levi01 %V 11

@article{journals/logcom/Levi01, added-at = {2011-06-29T00:00:00.000+0200}, author = {Levi, Francesca}, biburl = {https://www.bibsonomy.org/bibtex/273b1450cc7891625afcff2c596e9760e/dblp}, ee = {http://dx.doi.org/10.1093/logcom/11.6.829}, interhash = {dcd11347823a2549540dfb6b2d583a5f}, intrahash = {73b1450cc7891625afcff2c596e9760e}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {829-878}, timestamp = {2011-06-30T11:39:14.000+0200}, title = {Compositional Verification of Quantitative Properties of Statecharts.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Levi01}, volume = 11, year = 2001 }