%0 Conference Paper %1 conf/zum/UttingTSMDDC03 %A Utting, Mark %A Toyn, Ian %A Sun, Jing %A Martin, Andrew P. %A Dong, Jin Song %A Daley, Nicholas %A Currie, David W. %B ZB %D 2003 %E Bert, Didier %E Bowen, Jonathan P. %E King, Steve %E Waldén, Marina %I Springer %K dblp %P 437-456 %T ZML: XML Support for Standard Z. %U http://dblp.uni-trier.de/db/conf/zum/zb2003.html#UttingTSMDDC03 %V 2651 %@ 3-540-40253-5

@inproceedings{conf/zum/UttingTSMDDC03, added-at = {2023-09-30T00:00:00.000+0200}, author = {Utting, Mark and Toyn, Ian and Sun, Jing and Martin, Andrew P. and Dong, Jin Song and Daley, Nicholas and Currie, David W.}, biburl = {https://www.bibsonomy.org/bibtex/25c3ade3cb6248cac2d6eeeee16bec7b1/dblp}, booktitle = {ZB}, crossref = {conf/zum/2003}, editor = {Bert, Didier and Bowen, Jonathan P. and King, Steve and Waldén, Marina}, ee = {https://doi.org/10.1007/3-540-44880-2_26}, interhash = {6d9e5dee3041133bf4fb165f44c5fd4f}, intrahash = {5c3ade3cb6248cac2d6eeeee16bec7b1}, isbn = {3-540-40253-5}, keywords = {dblp}, pages = {437-456}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:23:50.000+0200}, title = {ZML: XML Support for Standard Z.}, url = {http://dblp.uni-trier.de/db/conf/zum/zb2003.html#UttingTSMDDC03}, volume = 2651, year = 2003 }