TY  - RPRT
TI  - AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)
AU  - Bernd Finkbeiner
AU  - Manuel Gieseking
AU  - Jesko Hecking-Harbusch
AU  - Ernst-Rüdiger Olderog
PY  - 2020
UR  - https://arxiv.org/abs/2005.07130
ID  - 2005.07130
ER  -