tr-announce January 2014

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 3 discussions

2014-05: Automated Termination Analysis for Programs with Pointer Arithmetic
by Thomas Ströder
10 years, 3 months

2014-04: Languages of Infinite Traces and Deterministic Asynchronous Automata
by Thomas Ströder
10 years, 3 months

2013-19: Support for error tolerance in the Real-Time Transport Protocol
by Thomas Ströder
10 years, 4 months
Results per page: