Hierarchical Design Rewriting with Maude

From MaRDI portal
Publication:5179129

DOI10.1016/j.entcs.2009.05.012zbMath1347.68072OpenAlexW2118878059WikidataQ56501701 ScholiaQ56501701MaRDI QIDQ5179129

Ugo Montanari, Roberto Bruni, Alberto Lluch Lafuente

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.012




Related Items (3)


Uses Software



Cites Work




This page was built for publication: Hierarchical Design Rewriting with Maude