%0 Journal Article %1 journals/spe/MurillasFAE17 %A de Murillas, Eduardo González López %A Fabra, Javier %A Álvarez, Pedro %A Ezpeleta, Joaquín %D 2017 %J Softw. Pract. Exp. %K dblp %N 5 %P 647-668 %T Parallel computation of the reachability graph of petri net models with semantic information. %U http://dblp.uni-trier.de/db/journals/spe/spe47.html#MurillasFAE17 %V 47

@article{journals/spe/MurillasFAE17, added-at = {2020-09-17T00:00:00.000+0200}, author = {de Murillas, Eduardo González López and Fabra, Javier and Álvarez, Pedro and Ezpeleta, Joaquín}, biburl = {https://www.bibsonomy.org/bibtex/26f040ecdd4d1da0545ed2421072a37aa/dblp}, ee = {https://www.wikidata.org/entity/Q57985009}, interhash = {5bc5570d52f5e5948abab0ea0aac4e72}, intrahash = {6f040ecdd4d1da0545ed2421072a37aa}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 5, pages = {647-668}, timestamp = {2020-09-18T11:52:08.000+0200}, title = {Parallel computation of the reachability graph of petri net models with semantic information.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe47.html#MurillasFAE17}, volume = 47, year = 2017 }