Theoretical Computer Science
From MaRDI portal
Publication:5395068
DOI10.1007/11560586zbMath1171.68565OpenAlexW2603408665MaRDI QIDQ5395068
Gianluigi Zavattaro, Nadia Busi
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11560586
Related Items (4)
Reachability problems in BioAmbients ⋮ Reachability analysis of fragments of mobile ambients in AC term rewriting ⋮ Reachability Analysis in BioAmbients ⋮ On Reachability and Spatial Reachability in Fragments of BioAmbients
This page was built for publication: Theoretical Computer Science