%0 Conference Paper %1 conf/esop/WansbroughNSS02 %A Wansbrough, Keith %A Norrish, Michael %A Sewell, Peter %A Serjantov, Andrei %B ESOP %D 2002 %E Métayer, Daniel Le %I Springer %K dblp %P 278-294 %T Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. %U http://dblp.uni-trier.de/db/conf/esop/esop2002.html#WansbroughNSS02 %V 2305 %@ 3-540-43363-5

@inproceedings{conf/esop/WansbroughNSS02, added-at = {2017-09-16T00:00:00.000+0200}, author = {Wansbrough, Keith and Norrish, Michael and Sewell, Peter and Serjantov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2333cee276c37b7b4c408c393b77bc9a6/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2002}, editor = {Métayer, Daniel Le}, ee = {https://doi.org/10.1007/3-540-45927-8_20}, interhash = {90898bab5b7f3a5a55a2c6f95515e986}, intrahash = {333cee276c37b7b4c408c393b77bc9a6}, isbn = {3-540-43363-5}, keywords = {dblp}, pages = {278-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:40.000+0200}, title = {Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2002.html#WansbroughNSS02}, volume = 2305, year = 2002 }