tr-announce Juli 2011

tr-announce@lists.rwth-aachen.de
  • 1 Teilnehmer
  • 5 Diskussionen

2011-16: Toward Adjoint OpenFOAM
von Carsten Fuhs
12 Jahre, 8 Monate

2011-14: Solving Muller Games via Safety Games
von Carsten Fuhs
12 Jahre, 8 Monate

2011-07: An Operational Semantics for Activity Diagrams using SMV
von Carsten Fuhs
12 Jahre, 8 Monate

2011-13: Toward Adjoint OpenMP
von Carsten Fuhs
12 Jahre, 8 Monate

2011-08: A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog
von Carsten Fuhs
12 Jahre, 8 Monate
Ergebnisse pro Seite: