CTL model update for system modifications (Q3624112)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5547914
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | CTL model update for system modifications |
scientific article; zbMATH DE number 5547914 |
Statements
28 April 2009
0 references
Computation Tree Logic
0 references
0.8870187401771545
0 references
0.8387253284454346
0 references
0.8242086172103882
0 references
0.8225351572036743
0 references
0.8021252751350403
0 references
