TY  - RPRT
TI  - A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology
AU  - Kaustuv Chaudhuri
AU  - Joelle Despeyroux
PY  - 2013
UR  - https://arxiv.org/abs/1310.4310
ID  - 1310.4310
ER  -