On the synthesis of a reactive module

Volumn , Issue , 1989, Pages 179-190

  Pnueli, Amir ^a   Rosner, Roni ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING;

PROGRAM SYNTHESIS; RABIN AUTOMATA; REACTIVE MODULES; TEMPORAL LOGIC;

COMPUTER METATHEORY;

EID: 0024864157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/75277.75293     Document Type: Conference Paper

References (32)