Antonio Cerone. Representing ASN.1 in Z. In Chris Johnson, Paul Montague, Chris Steketee, editors, ACSW Frontiers 2003, 2003 ACSW Workshops - the Australasian Information Security Workshop (AISW) and the Workshop on Wearable, Invisible, Context-Aware, Ambient, Pervasive and Ubiquitous Computing (WICAPUC), Adelaide, South Australia, February 2003. Volume 21 of CRPIT, pages 9-16, Australian Computer Society, 2003. [doi]
@inproceedings{Cerone03, title = {Representing ASN.1 in Z}, author = {Antonio Cerone}, year = {2003}, url = {http://crpit.com/confpapers/CRPITV21ACerone.pdf}, researchr = {https://researchr.org/publication/Cerone03}, cites = {0}, citedby = {0}, pages = {9-16}, booktitle = {ACSW Frontiers 2003, 2003 ACSW Workshops - the Australasian Information Security Workshop (AISW) and the Workshop on Wearable, Invisible, Context-Aware, Ambient, Pervasive and Ubiquitous Computing (WICAPUC), Adelaide, South Australia, February 2003}, editor = {Chris Johnson and Paul Montague and Chris Steketee}, volume = {21}, series = {CRPIT}, publisher = {Australian Computer Society}, isbn = {1-920682-00-7}, }