Experiments with automated constrained expression analysis of concurrent software systems

Volumn , Issue , 1989, Pages 124-130

  Avrunin, George S ^a   Dillon, Laura K ^a   Wileden, Jack C ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS, DIGITAL--DISTRIBUTED;

CONCURRENT SOFTWARE SYSTEMS; CONSTRAINED EXPRESSION ANALYSIS; SOFTWARE DEVELOPMENT;

COMPUTER SOFTWARE;

EID: 0024890179     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)