%0 Conference Paper %1 conf/sigada/RathjeR14 %A Rathje, William %A Richards, Brad %B HILT %D 2014 %E Feldman, Michael B. %E Taft, S. Tucker %I ACM %K dblp %P 81-86 %T A framework for model checking UDP network programs with Java pathfinder. %U http://dblp.uni-trier.de/db/conf/sigada/hilt2014.html#RathjeR14 %@ 978-1-4503-3217-0

@inproceedings{conf/sigada/RathjeR14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Rathje, William and Richards, Brad}, biburl = {https://www.bibsonomy.org/bibtex/271dca1dd6230babbdfefea694241c6d9/dblp}, booktitle = {HILT}, crossref = {conf/sigada/2014}, editor = {Feldman, Michael B. and Taft, S. Tucker}, ee = {https://doi.org/10.1145/2663171.2663184}, interhash = {c5832bc72fdf6fcf4cd265cee3c4f7b6}, intrahash = {71dca1dd6230babbdfefea694241c6d9}, isbn = {978-1-4503-3217-0}, keywords = {dblp}, pages = {81-86}, publisher = {ACM}, timestamp = {2024-04-09T17:42:57.000+0200}, title = {A framework for model checking UDP network programs with Java pathfinder.}, url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2014.html#RathjeR14}, year = 2014 }