SAT-based unbounded model checking of timed automata (Q5506384)
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 5499366
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | SAT-based unbounded model checking of timed automata |
scientific article; zbMATH DE number 5499366 |
Statements
28 January 2009
0 references
UMC
0 references
Fischer's mutual exclusion protocol
0 references
0.8351401686668396
0 references
0.8124468326568604
0 references
0.8067141771316528
0 references
0.8009774088859558
0 references
