scientific article
From MaRDI portal
Publication:3201412
zbMATH Open0715.62143MaRDI QIDQ3201412
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recommendations
- Unnamed Item π π
- Unnamed Item π π
- Unnamed Item π π
- Verifying data refinements using a model checker π π
- Model-checking processes with data π π
- Model Checking Languages of Data Words π π
- On Model Checking Boolean BI π π
- Data flow analysis as model checking π π
This page was built for publication: