Revisiting timed specification theories: a linear-time perspective (Q4649387)
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 6109495
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Revisiting timed specification theories: a linear-time perspective |
scientific article; zbMATH DE number 6109495 |
Statements
Revisiting Timed Specification Theories: A Linear-Time Perspective (English)
0 references
21 November 2012
0 references
0.8653475642204285
0 references
0.8294147253036499
0 references
0.810501217842102
0 references
0.8071597218513489
0 references
0.7946771383285522
0 references
