%0 Conference Paper %1 conf/pdcat/WenhuiFGJ07 %A Wenhui, Sun %A Feng, Liu %A Gang, Dai %A Jinyu, Zhang %B PDCAT %D 2007 %E Munro, David S. %E Shen, Hong %E Sheng, Quan Z. %E Detmold, Henry %E Falkner, Katrina %E Izu, Cruz %E Coddington, Paul D. %E Alexander, Bradley %E Zheng, Si-Qing %I IEEE Computer Society %K dblp %P 493-498 %T Formal Analysis of the VPN Service Management System. %U http://dblp.uni-trier.de/db/conf/pdcat/pdcat2007.html#WenhuiFGJ07 %@ 0-7695-3049-4

@inproceedings{conf/pdcat/WenhuiFGJ07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wenhui, Sun and Feng, Liu and Gang, Dai and Jinyu, Zhang}, biburl = {https://www.bibsonomy.org/bibtex/245face64047d34a2b6ba9a60771491f8/dblp}, booktitle = {PDCAT}, crossref = {conf/pdcat/2007}, editor = {Munro, David S. and Shen, Hong and Sheng, Quan Z. and Detmold, Henry and Falkner, Katrina and Izu, Cruz and Coddington, Paul D. and Alexander, Bradley and Zheng, Si-Qing}, ee = {https://doi.ieeecomputersociety.org/10.1109/PDCAT.2007.16}, interhash = {3f332f1aaccf61ae737b0d78fbb867b0}, intrahash = {45face64047d34a2b6ba9a60771491f8}, isbn = {0-7695-3049-4}, keywords = {dblp}, pages = {493-498}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T02:36:15.000+0200}, title = {Formal Analysis of the VPN Service Management System.}, url = {http://dblp.uni-trier.de/db/conf/pdcat/pdcat2007.html#WenhuiFGJ07}, year = 2007 }