%0 Conference Paper %1 conf/iceccs/DongSSW99 %A Dong, Yifei %A Smolka, Scott A. %A Stark, Eugene W. %A White, Stephanie M. %B ICECCS %D 1999 %I IEEE Computer Society %K dblp %P 153- %T Practical Considerations in Protocol Verification: The E-2C Case Study. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs1999.html#DongSSW99 %@ 0-7695-0434-5

@inproceedings{conf/iceccs/DongSSW99, added-at = {2023-03-24T00:00:00.000+0100}, author = {Dong, Yifei and Smolka, Scott A. and Stark, Eugene W. and White, Stephanie M.}, biburl = {https://www.bibsonomy.org/bibtex/2a48742fd8e04bc3971c6584823b34419/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.1999.802859}, interhash = {2e88fee50331c124b448fb2d1d1a9855}, intrahash = {a48742fd8e04bc3971c6584823b34419}, isbn = {0-7695-0434-5}, keywords = {dblp}, pages = {153-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:28:09.000+0200}, title = {Practical Considerations in Protocol Verification: The E-2C Case Study.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs1999.html#DongSSW99}, year = 1999 }