Specification and verification for semi-structured data
From MaRDI portal
Publication:5291135
DOI10.1007/BF02831713zbMath1097.68072OpenAlexW2067242110WikidataQ114693369 ScholiaQ114693369MaRDI QIDQ5291135
Taolue Chen, Tingting Han, Jian Lu
Publication date: 9 May 2006
Published in: Wuhan University Journal of Natural Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02831713
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Cites Work
This page was built for publication: Specification and verification for semi-structured data