Home Publications

Design and Analysis of Cloud-Based Architectures with KLAIM and Maude

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
  • Wirsing, Martin
  • Eckhardt, Jonas
  • M\, Tobias
  • Meseguer, Jos\'{e}
Editor: Dur\'{a}n, Franciso
Book title: Proc. 9th International Workshop on Rewriting Logic and its Applications (WRLA 2012)
Month: March
partners: LMU and partners outside NESSoS (TU, Augsburg, Illinois); projects: NESSoS; NoTier cites:2