%0 Journal Article %1 journals/cai/SimonakT18 %A Simonák, Slavomír %A Tomásek, Martin %D 2018 %J Comput. Informatics %K dblp %N 6 %P 1464-1484 %T ACP Semantics for Petri Nets. %U http://dblp.uni-trier.de/db/journals/cai/cai37.html#SimonakT18 %V 37

@article{journals/cai/SimonakT18, added-at = {2022-06-23T00:00:00.000+0200}, author = {Simonák, Slavomír and Tomásek, Martin}, biburl = {https://www.bibsonomy.org/bibtex/22670bc23c1505ff1f009cf293d5d8d34/dblp}, ee = {https://doi.org/10.4149/cai_2018_6_1464}, interhash = {87e4a06b9bbfd19ac2e233de537a706f}, intrahash = {2670bc23c1505ff1f009cf293d5d8d34}, journal = {Comput. Informatics}, keywords = {dblp}, number = 6, pages = {1464-1484}, timestamp = {2024-04-08T12:10:59.000+0200}, title = {ACP Semantics for Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/cai/cai37.html#SimonakT18}, volume = 37, year = 2018 }