%0 Journal Article %1 journals/fuin/WernerPR04 %A Werner, Matthias %A Popova-Zeugmann, Louchka %A Richling, Jan %D 2004 %J Fundam. Inform. %K dblp %N 3-4 %P 351-368 %T A Method to Prove Non-Reachability in Priority Duration Petri Nets. %U http://dblp.uni-trier.de/db/journals/fuin/fuin61.html#WernerPR04 %V 61

@article{journals/fuin/WernerPR04, added-at = {2015-05-18T00:00:00.000+0200}, author = {Werner, Matthias and Popova-Zeugmann, Louchka and Richling, Jan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/266318fdc166e3be6d829361f39f1f2fa/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi61-3-4-09}, interhash = {cb4dcb6e83a0ed1d8380d7b1794bafe2}, intrahash = {66318fdc166e3be6d829361f39f1f2fa}, journal = {Fundam. Inform.}, keywords = {dblp}, number = {3-4}, pages = {351-368}, timestamp = {2016-02-02T09:53:44.000+0100}, title = {A Method to Prove Non-Reachability in Priority Duration Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin61.html#WernerPR04}, volume = 61, year = 2004 }