RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @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/}
    }