Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/apn/LimeRS19
AU - Lime, Didier
AU - Roux, Olivier H.
AU - Seidner, Charlotte
TI - Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.
BT - Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings
SP - 406
EP - 425
PY - 2019//
DO - 10.1007/978-3-030-21571-2_22
UR - https://doi.org/10.1007/978-3-030-21571-2_22
ER -
