A general treatment of dynamic integrity constraints (Q4541454)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A general treatment of dynamic integrity constraints |
scientific article; zbMATH DE number 1771865
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A general treatment of dynamic integrity constraints |
scientific article; zbMATH DE number 1771865 |
Statements
A general treatment of dynamic integrity constraints (English)
0 references
29 July 2002
0 references
irreversible transition
0 references
consistency of a transition relation
0 references
Kripke models
0 references
0.9201672
0 references
0.8819585
0 references
