All you need is compassion

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4905 LNCS, Issue , 2008, Pages 233-247

  Pnueli, Amir ^a,b   Sa'Ar, Yaniv ^b  

^a NEW YORK UNIVERSITY   (United States)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE STATE SYSTEMS; RESPONSE PROPERTIES;

FINITE AUTOMATA; REQUIREMENTS ENGINEERING; STATIC ANALYSIS;

VERIFICATION;

EID: 40549130661     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78163-9_21     Document Type: Conference Paper

References (28)