Events in linear-time properties

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1999, Pages 123-132

  Paun, Dimitrie O ^a   Chechik, Marsha ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FINITE AUTOMATA; LINGUISTICS; REQUIREMENTS ENGINEERING;

LINEAR TIME TEMPORAL LOGIC; SYNTACTIC REASONING;

FORMAL LOGIC;

EID: 0032685507     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (28)