%0 Conference Paper %1 conf/icnp/BradleyBK03 %A Bradley, Adam D. %A Bestavros, Azer %A Kfoury, Assaf J. %B ICNP %D 2003 %I IEEE Computer Society %K dblp %P 234- %T Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. %U http://dblp.uni-trier.de/db/conf/icnp/icnp2003.html#BradleyBK03 %@ 0-7695-2024-3

@inproceedings{conf/icnp/BradleyBK03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bradley, Adam D. and Bestavros, Azer and Kfoury, Assaf J.}, biburl = {https://www.bibsonomy.org/bibtex/20a3e318827ded3514f44b7764d2708c2/dblp}, booktitle = {ICNP}, crossref = {conf/icnp/2003}, ee = {https://www.wikidata.org/entity/Q61693910}, interhash = {a4931f3cd40f88fd505c41fc92e16b1f}, intrahash = {0a3e318827ded3514f44b7764d2708c2}, isbn = {0-7695-2024-3}, keywords = {dblp}, pages = {234-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:38:40.000+0200}, title = {Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.}, url = {http://dblp.uni-trier.de/db/conf/icnp/icnp2003.html#BradleyBK03}, year = 2003 }