%0 Conference Paper %1 conf/pnpm/MarinescuBS91 %A Marinescu, Dan C. %A Beaven, Mike %A Stansifer, Ryan %B PNPM %D 1991 %I IEEE Computer Society %K dblp %P 136-143 %T A Parallel Algorithm for Computing Invariants of Petri Net Models. %U http://dblp.uni-trier.de/db/conf/pnpm/pnpm1991.html#MarinescuBS91 %@ 0-8186-2285-7

@inproceedings{conf/pnpm/MarinescuBS91, added-at = {2023-03-24T00:00:00.000+0100}, author = {Marinescu, Dan C. and Beaven, Mike and Stansifer, Ryan}, biburl = {https://www.bibsonomy.org/bibtex/2cba2a5ea6751e4ac54ee667e5213b72c/dblp}, booktitle = {PNPM}, crossref = {conf/pnpm/1991}, ee = {https://doi.ieeecomputersociety.org/10.1109/PNPM.1991.238774}, interhash = {226d216bb9b925aef64ef5075459f600}, intrahash = {cba2a5ea6751e4ac54ee667e5213b72c}, isbn = {0-8186-2285-7}, keywords = {dblp}, pages = {136-143}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:13:51.000+0200}, title = {A Parallel Algorithm for Computing Invariants of Petri Net Models.}, url = {http://dblp.uni-trier.de/db/conf/pnpm/pnpm1991.html#MarinescuBS91}, year = 1991 }