Early verification of computer systems temporal properties (Q2848445)
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: Early verification of computer systems temporal properties |
scientific article; zbMATH DE number 6211933
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Early verification of computer systems temporal properties |
scientific article; zbMATH DE number 6211933 |
Statements
26 September 2013
0 references
Early verification of computer systems temporal properties (English)
0 references
0.7668811082839966
0 references
0.7665427327156067
0 references
0.7606703639030457
0 references
0.7583867907524109
0 references
