scientific article; zbMATH DE number 1798186
From MaRDI portal
Publication:4553259
zbMath0996.68517MaRDI QIDQ4553259
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Verifying the consistency of web-based technical documentations ⋮ Applying model-checking to solve queries on semistructured data ⋮ Model checking hybrid logics (with an application to semistructured data)
This page was built for publication:
