iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/scp/EckhardtMMW15.rdf
Jonas Eckhardt et al.: Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. (2015) journals/scp/EckhardtMMW15 10.1016/J.SCICO.2014.10.001 Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. 4 Jonas Eckhardt 1 Tobias Mühlbauer 2 José Meseguer 0001 3 Martin Wirsing 4 24-74 Sci. Comput. Program. Sci. Comput. Program. 99 2015 provenance information for RDF data of dblp record 'journals/scp/EckhardtMMW15' 2023-09-20T08:58:12+0200