tr-announce April 2010

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

2010-04: Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
by Carsten Fuhs
14 years

2010-08: Automated Termination Analysis of Java Bytecode by Term Rewriting
by Carsten Fuhs
14 years, 1 month
Results per page: