Checking Coverage for Infinite Collections of Timed Scenarios (Q3525637)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking Coverage for Infinite Collections of Timed Scenarios |
scientific article |
Statements
Checking Coverage for Infinite Collections of Timed Scenarios (English)
0 references
18 September 2008
0 references
