TY  - RPRT
TI  - Towards modular verification of pathways: fairness and assumptions
AU  - Peter Drábik
AU  - Andrea Maggiolo-Schettini
AU  - Paolo Milazzo
PY  - 2012
DO  - 10.4204/eptcs.100.5
UR  - https://arxiv.org/abs/1211.4093
ID  - 1211.4093
ER  -