Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
Eckhardt, Jonas, Mühlbauer, Tobias, Meseguer, José, Wirsing, MartinVolume:
99
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2014.10.001
Date:
March, 2015
File:
PDF, 1.78 MB
english, 2015