@inproceedings{DBLP:conf/icdcsw/WangVZ00,
author = {Hongxue Wang and
Vijay Varadharajan and
Yan Zhang},
title = {Towards a Generic Logic for Analysing Network Protocols},
booktitle = {ICDCS Workshop on Internet},
year = {2000},
pages = {A19-A26},
crossref = {DBLP:conf/icdcsw/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icdcsw/2000,
editor = {Ten-Hwang Lai},
title = {Proceedings of the 2000 ICDCS Workshops, April 10, 2000,
Taipei, Taiwan, ROC},
booktitle = {ICDCS Workshops},
year = {2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
