Article,
Event Structures for Petri nets with Persistence.
P. Baldan, R. Bruni, A. Corradini, F. Gadducci, H. Melgratti, and U. Montanari.Logical Methods in Computer Science, (2018)
Meta data
- BibTeX key
- journals/lmcs/BaldanBCGMM18
- entry type
- article
- year
- 2018
- journal
- Logical Methods in Computer Science
- number
- 3
- volume
- 14
- ee
- https://doi.org/10.23638/LMCS-14(3:25)2018
- url
- http://dblp.uni-trier.de/db/journals/lmcs/lmcs14.html#BaldanBCGMM18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/lmcs/BaldanBCGMM18
%A Baldan, Paolo
%A Bruni, Roberto
%A Corradini, Andrea
%A Gadducci, Fabio
%A Melgratti, Hernán C.
%A Montanari, Ugo
%D 2018
%J Logical Methods in Computer Science
%K
%N 3
%T Event Structures for Petri nets with Persistence.
%U http://dblp.uni-trier.de/db/journals/lmcs/lmcs14.html#BaldanBCGMM18
%V 14
@article{journals/lmcs/BaldanBCGMM18,
added-at = {2023-12-12T21:09:23.000+0100},
author = {Baldan, Paolo and Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Melgratti, Hernán C. and Montanari, Ugo},
biburl = {https://www.bibsonomy.org/bibtex/279e1a0396e600f6e5c892ea416d59cba/admin},
ee = {https://doi.org/10.23638/LMCS-14(3:25)2018},
interhash = {39f9461b82bb5d2c30b87eda081b80cb},
intrahash = {79e1a0396e600f6e5c892ea416d59cba},
journal = {Logical Methods in Computer Science},
keywords = {},
number = 3,
timestamp = {2023-12-12T21:09:23.000+0100},
title = {Event Structures for Petri nets with Persistence.},
url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs14.html#BaldanBCGMM18},
volume = 14,
year = 2018
}