%0 Journal Article %1 journals/tplp/GardeyRR06 %A Gardey, Guillaume %A Roux, Olivier H. %A Roux, Olivier F. %D 2006 %J Theory Pract. Log. Program. %K dblp %N 3 %P 301-320 %T State space computation and analysis of Time Petri Nets. %U http://dblp.uni-trier.de/db/journals/tplp/tplp6.html#GardeyRR06 %V 6

@article{journals/tplp/GardeyRR06, added-at = {2020-02-13T00:00:00.000+0100}, author = {Gardey, Guillaume and Roux, Olivier H. and Roux, Olivier F.}, biburl = {https://www.bibsonomy.org/bibtex/23c7d9f1b337841c3629223c193ab5758/dblp}, ee = {https://doi.org/10.1017/S147106840600264X}, interhash = {2fb5dba86ee96d1a44cf13bc7c4155fb}, intrahash = {3c7d9f1b337841c3629223c193ab5758}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 3, pages = {301-320}, timestamp = {2020-02-14T11:44:02.000+0100}, title = {State space computation and analysis of Time Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp6.html#GardeyRR06}, volume = 6, year = 2006 }