Guarded transitions in evolving specifications (Q2996129)
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: Guarded transitions in evolving specifications |
scientific article; zbMATH DE number 5884863
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Guarded transitions in evolving specifications |
scientific article; zbMATH DE number 5884863 |
Statements
Guarded Transitions in Evolving Specifications (English)
0 references
6 May 2011
0 references
0.7096954584121704
0 references
0.7054383754730225
0 references
0.7017604112625122
0 references
0.7014039754867554
0 references
0.6992408633232117
0 references
