|
Volumn 531 LNCS, Issue , 1991, Pages 272-281
|
Synthesizing processes and schedulers from temporal specifications
a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER AIDED ANALYSIS;
SCHEDULING;
DENSE REAL-TIME;
EXPONENTIAL TIME;
FINITE STATE;
IMPLEMENTABILITY;
REACTIVE SYSTEM;
REAL-TIME PROCESS;
SYNTHESIS PROBLEMS;
TEMPORAL SPECIFICATION;
SPECIFICATIONS;
|
EID: 85030768560
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/BFb0023741 Document Type: Conference Paper |
Times cited : (23)
|
References (14)
|