Reasoning about real-time repetitions: Terminating and nonterminating (Q700976)
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: Reasoning about real-time repetitions: Terminating and nonterminating |
scientific article; zbMATH DE number 1815425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about real-time repetitions: Terminating and nonterminating |
scientific article; zbMATH DE number 1815425 |
Statements
Reasoning about real-time repetitions: Terminating and nonterminating (English)
0 references
16 October 2002
0 references
real-time system
0 references
nonterminating process
0 references
predicative semantics
0 references
0.86468244
0 references
0 references
0 references
0.8385103
0 references
0.8373832
0 references
0.8373651
0 references
