TY - GEN
AU - Wansbrough, Keith
AU - Norrish, Michael
AU - Sewell, Peter
AU - Serjantov, Andrei
TI - Programming Languages and Systems: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures
PB - Springer Berlin Heidelberg
SN - 0302-9743
PY - 2002
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation