|
|
|
Volumn , Issue , 1987, Pages 131-137
|
|
PROVING BOOLEAN COMBINATIONS OF DETERMINISTIC PROPERTIES.
a
a
IBM
(United States)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER METATHEORY - BOOLEAN FUNCTIONS;
BOOLEAN COMBINATIONS OF DETERMINISTIC PROPERTIES;
BUCHI AUTOMATA;
HOARE TRIPLES;
TEMPORAL PROPERTY;
AUTOMATA THEORY;
|
|
EID: 0023208556
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (19)
|
|
References (13)
|
