Model checking timed automata with one or two clocks (Q5311487)
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 2197497
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking timed automata with one or two clocks |
scientific article; zbMATH DE number 2197497 |
Statements
CONCUR 2004 - Concurrency Theory (English)
0 references
Model checking timed automata with one or two clocks (English)
0 references
23 August 2005
0 references
0.9471717
0 references
0.9471717
0 references
0.94192976
0 references
0.9377429
0 references
0.9114598
0 references
0.9056538
0 references
0.8989588
0 references
0.89750826
0 references
