Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos. Towards a correct translation from ASN.1 into CafeOBJ. IJRIS, 2(3/4):300-309, 2010. [doi]
@article{BarlasKSO10,
title = {Towards a correct translation from ASN.1 into CafeOBJ},
author = {Konstantinos Barlas and George Koletsos and Petros S. Stefaneas and Iakovos Ouranos},
year = {2010},
doi = {10.1504/IJRIS.2010.036878},
url = {http://dx.doi.org/10.1504/IJRIS.2010.036878},
researchr = {https://researchr.org/publication/BarlasKSO10},
cites = {0},
citedby = {0},
journal = {IJRIS},
volume = {2},
number = {3/4},
pages = {300-309},
}