%0 Journal Article %1 journals/tii/KloetzerMBS10 %A Kloetzer, Marius %A Mahulea, Cristian %A Belta, Calin %A Silva, Manuel %D 2010 %J IEEE Trans. Industrial Informatics %K dblp %N 3 %P 460-471 %T An Automated Framework for Formal Verification of Timed Continuous Petri Nets. %U http://dblp.uni-trier.de/db/journals/tii/tii6.html#KloetzerMBS10 %V 6

@article{journals/tii/KloetzerMBS10, added-at = {2011-07-08T00:00:00.000+0200}, author = {Kloetzer, Marius and Mahulea, Cristian and Belta, Calin and Silva, Manuel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/252641bf31277e248854116f37d1d62ae/dblp}, ee = {http://dx.doi.org/10.1109/TII.2010.2050001}, interhash = {0ac7d6f38cce93a46306fa93923755bf}, intrahash = {52641bf31277e248854116f37d1d62ae}, journal = {IEEE Trans. Industrial Informatics}, keywords = {dblp}, number = 3, pages = {460-471}, timestamp = {2016-02-02T05:31:49.000+0100}, title = {An Automated Framework for Formal Verification of Timed Continuous Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tii/tii6.html#KloetzerMBS10}, volume = 6, year = 2010 }