@inproceedings{DBLP:conf/acsw/Cerone03,
author = {Antonio Cerone},
title = {Representing ASN.1 in Z},
booktitle = {ACSW Frontiers},
year = {2003},
pages = {9-16},
ee = {http://crpit.com/confpapers/CRPITV21ACerone.pdf},
crossref = {DBLP:conf/acsw/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/acsw/2003,
editor = {Chris Johnson and
Paul Montague and
Chris Steketee},
title = {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},
booktitle = {ACSW Frontiers},
publisher = {Australian Computer Society},
series = {CRPIT},
volume = {21},
year = {2003},
isbn = {1-920682-00-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}