Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe (Q5307479)
From MaRDI portal
scientific article; zbMATH DE number 5191187
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe |
scientific article; zbMATH DE number 5191187 |
Statements
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe (English)
0 references
14 September 2007
0 references
