TY  - RPRT
TI  - Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
AU  - Konstantinos Barlas
AU  - George Koletsos
AU  - Petros Stefaneas
PY  - 2011
UR  - https://arxiv.org/abs/1103.2787
ID  - 1103.2787
ER  -