Meanings of Model Checking (Q5187832)
From MaRDI portal
scientific article; zbMATH DE number 5679039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Meanings of Model Checking |
scientific article; zbMATH DE number 5679039 |
Statements
Meanings of Model Checking (English)
0 references
9 March 2010
0 references
model checking
0 references
alternative definitions
0 references
special applications
0 references
0 references
