@misc{RISC4835,author = {Wolfgang Schreiner},
title = {{Applying Predicate Logic to Monitoring Network Traffic}},
language = {english},
year = {2013},
month = {October 25},
note = {Invited talk at PAS 2013 - Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Beijing, China, October 23-25, 2013},
conferencename = {PAS 2013 - Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Beijing, China, October 23-25, 2013},
url = {http://pas2013.cc4cm.org/}
}