TY  - RPRT
TI  - Iterable Forward Reachability Analysis of Monitor-DPNs
AU  - Benedikt Nordhoff
AU  - Markus Müller-Olm
AU  - Peter Lammich
PY  - 2013
DO  - 10.4204/eptcs.129.24
UR  - https://arxiv.org/abs/1309.5150
ID  - 1309.5150
ER  -