%0 Journal Article %1 journals/fuin/Popova-ZeugmannWR03 %A Popova-Zeugmann, Louchka %A Werner, Matthias %A Richling, Jan %D 2003 %J Fundam. Inform. %K dblp %N 2 %P 187-202 %T Using State Equation to Prove Non-Reachability in Timed Petrinets. %U http://dblp.uni-trier.de/db/journals/fuin/fuin55.html#Popova-ZeugmannWR03 %V 55

@article{journals/fuin/Popova-ZeugmannWR03, added-at = {2015-05-18T00:00:00.000+0200}, author = {Popova-Zeugmann, Louchka and Werner, Matthias and Richling, Jan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2580efdcea0dca7f98eaf1b53285d752d/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-07}, interhash = {a4cf06914f87a3b55cbdf88499fd024d}, intrahash = {580efdcea0dca7f98eaf1b53285d752d}, journal = {Fundam. Inform.}, keywords = {dblp}, number = 2, pages = {187-202}, timestamp = {2016-02-02T09:53:33.000+0100}, title = {Using State Equation to Prove Non-Reachability in Timed Petrinets.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin55.html#Popova-ZeugmannWR03}, volume = 55, year = 2003 }