TY  - RPRT
TI  - Some approximations in Model Checking and Testing
AU  - M. C. Gaudel
AU  - R. Lassaigne
AU  - F. Magniez
AU  - M. de Rougemont
PY  - 2013
UR  - https://arxiv.org/abs/1304.5199
ID  - 1304.5199
ER  -