%0 Journal Article %1 journals/tse/GhezziMMP91 %A Ghezzi, Carlo %A Mandrioli, Dino %A Morasca, Sandro %A Pezzè, Mauro %D 1991 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 160-172 %T A Unified High-Level Petri Net Formalism for Time-Critical Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse17.html#GhezziMMP91 %V 17

@article{journals/tse/GhezziMMP91, added-at = {2022-10-02T00:00:00.000+0200}, author = {Ghezzi, Carlo and Mandrioli, Dino and Morasca, Sandro and Pezzè, Mauro}, biburl = {https://www.bibsonomy.org/bibtex/2174553a350f366261cff9de119be12f1/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.67597}, interhash = {815705dc8d20537eedd43c2cb6f76aee}, intrahash = {174553a350f366261cff9de119be12f1}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {160-172}, timestamp = {2024-04-08T21:07:29.000+0200}, title = {A Unified High-Level Petri Net Formalism for Time-Critical Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse17.html#GhezziMMP91}, volume = 17, year = 1991 }