%0 Conference Paper %1 conf/icdcsw/WangVZ00 %A Wang, Hongxue %A Varadharajan, Vijay %A Zhang, Yan %B ICDCS Workshop on Internet %D 2000 %E Lai, Ten-Hwang %K dblp %P A19-A26 %T Towards a Generic Logic for Analysing Network Protocols. %U http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#WangVZ00

@inproceedings{conf/icdcsw/WangVZ00, added-at = {2002-01-03T00:00:00.000+0100}, author = {Wang, Hongxue and Varadharajan, Vijay and Zhang, Yan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/240f91b162371a1e8a286549936509ed1/dblp}, booktitle = {ICDCS Workshop on Internet}, crossref = {conf/icdcsw/2000}, editor = {Lai, Ten-Hwang}, interhash = {9401b9302bc5184100e1b86d231652d3}, intrahash = {40f91b162371a1e8a286549936509ed1}, keywords = {dblp}, pages = {A19-A26}, timestamp = {2016-02-02T13:08:12.000+0100}, title = {Towards a Generic Logic for Analysing Network Protocols.}, url = {http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#WangVZ00}, year = 2000 }