%0 Journal Article %1 journals/tcs/HopcroftP79 %A Hopcroft, John E. %A Pansiot, Jean-Jacques %D 1979 %J Theor. Comput. Sci. %K petrinets reachability %P 135-159 %T On the Reachability Problem for 5-Dimensional Vector Addition Systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs8.html#HopcroftP79 %V 8

@article{journals/tcs/HopcroftP79, added-at = {2020-01-16T19:06:07.000+0100}, author = {Hopcroft, John E. and Pansiot, Jean-Jacques}, biburl = {https://www.bibsonomy.org/bibtex/2fec3e3e7260e9ab87d54cdcdff609770/paves_intern}, ee = {http://dx.doi.org/10.1016/0304-3975(79)90041-0}, interhash = {7ea987091c4a54ab92f2af4a2624c426}, intrahash = {fec3e3e7260e9ab87d54cdcdff609770}, journal = {Theor. Comput. Sci.}, keywords = {petrinets reachability}, pages = {135-159}, timestamp = {2020-01-16T19:06:07.000+0100}, title = {On the Reachability Problem for 5-Dimensional Vector Addition Systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs8.html#HopcroftP79}, volume = 8, year = 1979 }