Towards a correct translation from ASN.1 into CafeOBJ

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]

Authors

Konstantinos Barlas

This author has not been identified. Look up 'Konstantinos Barlas' in Google

George Koletsos

This author has not been identified. Look up 'George Koletsos' in Google

Petros S. Stefaneas

This author has not been identified. Look up 'Petros S. Stefaneas' in Google

Iakovos Ouranos

This author has not been identified. Look up 'Iakovos Ouranos' in Google