TY  - RPRT
TI  - Constructing Coverability Graphs for Time Basic Petri Nets
AU  - Matteo Camilli
PY  - 2014
DO  - 10.1109/synasc.2016.036
UR  - https://arxiv.org/abs/1409.6253
ID  - 1409.6253
ER  -