Toward the Revision of CTL Models through Kripke Modal Transition Systems (Q5166663)
From MaRDI portal
scientific article; zbMATH DE number 6314092
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Toward the Revision of CTL Models through Kripke Modal Transition Systems |
scientific article; zbMATH DE number 6314092 |
Statements
Toward the Revision of CTL Models through Kripke Modal Transition Systems (English)
0 references
8 July 2014
0 references
