@Article{scpEckhardtMMW14,
   status = {public},
   publisher = {Elsevier},
   link = {http://www.sciencedirect.com/science/article/pii/S0167642314004420},
   task = {T5.2},
   doi = {10.1016/j.scico.2014.10.001},
   year = {2014},
   invited = {yes},
   volume = {99},
   main = {no},
   title = {{Semantics, distributed implementation, and formal analysis of KLAIM models in Maude}},
   author = {Jonas Eckhardt and Tobias Mühlbauer and Jose Meseguer and Martin Wirsing},
   period = {year4},
   journal = {Science of Computer Programming},
   partner = {LMU},
   wp = {wp5},
   pages = {24--74}
}