From Separation Logic to Hyperedge Replacement and Back
From MaRDI portal
Publication:3540425
DOI10.1007/978-3-540-87405-8_40zbMath1175.68218MaRDI QIDQ3540425
Publication date: 20 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_40
Related Items
Cites Work