Inproceedings,
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.
J. Hüls, S. Schupp, A. Remke, and E. Ábrahám.VALUETOOLS, page 178-185. ACM, (2017)
Meta data
- BibTeX key
- conf/valuetools/HulsSRA17
- entry type
- inproceedings
- booktitle
- VALUETOOLS
- year
- 2017
- pages
- 178-185
- publisher
- ACM
- crossref
- conf/valuetools/2017
- ee
- https://doi.org/10.1145/3150928.3150938
- url
- http://dblp.uni-trier.de/db/conf/valuetools/valuetools2017.html#HulsSRA17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/valuetools/HulsSRA17
%A Hüls, Jannik
%A Schupp, Stefan
%A Remke, Anne
%A Ábrahám, Erika
%B VALUETOOLS
%D 2017
%E Marin, Andrea
%E Houdt, Benny Van
%E Casale, Giuliano
%E Petriu, Dorina C.
%E Rossi, Sabina
%I ACM
%K dblp
%P 178-185
%T Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.
%U http://dblp.uni-trier.de/db/conf/valuetools/valuetools2017.html#HulsSRA17
@inproceedings{conf/valuetools/HulsSRA17,
added-at = {2018-11-21T00:00:00.000+0100},
author = {Hüls, Jannik and Schupp, Stefan and Remke, Anne and Ábrahám, Erika},
biburl = {https://www.bibsonomy.org/bibtex/21a752924c6df92998540bdbd56950ca1/dblp},
booktitle = {VALUETOOLS},
crossref = {conf/valuetools/2017},
editor = {Marin, Andrea and Houdt, Benny Van and Casale, Giuliano and Petriu, Dorina C. and Rossi, Sabina},
ee = {https://doi.org/10.1145/3150928.3150938},
interhash = {68e462833db6f34a6215c0b0b57cb228},
intrahash = {1a752924c6df92998540bdbd56950ca1},
keywords = {dblp},
pages = {178-185},
publisher = {ACM},
timestamp = {2019-01-24T11:36:44.000+0100},
title = {Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.},
url = {http://dblp.uni-trier.de/db/conf/valuetools/valuetools2017.html#HulsSRA17},
year = 2017
}