Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/cacm/JensenK15
%A Jensen, Kurt
%A Kristensen, Lars Michael
%D 2015
%J Commun. ACM
%K dblp
%N 6
%P 61-70
%T Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.
%U http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#JensenK15
%V 58
@article{journals/cacm/JensenK15,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Jensen, Kurt and Kristensen, Lars Michael},
biburl = {https://www.bibsonomy.org/bibtex/2b4a4df679daa341c7d3931a6ef86c937/dblp},
ee = {https://doi.org/10.1145/2663340},
interhash = {8e37027867291e10804caf37883c5dd7},
intrahash = {b4a4df679daa341c7d3931a6ef86c937},
journal = {Commun. ACM},
keywords = {dblp},
number = 6,
pages = {61-70},
timestamp = {2018-11-07T12:00:52.000+0100},
title = {Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.},
url = {http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#JensenK15},
volume = 58,
year = 2015
}