CONSTRAINED EXPRESSIONS - ADDING ANALYSIS CAPABILITIES TO DESIGN METHODS FOR CONCURRENT SOFTWARE SYSTEMS
Publication Date
1986
Journal or Book Title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Pages
278-291
Volume
12
Issue
2
Recommended Citation
AVRUNIN, GS; DILLON, LK; Wileden, JC; and RIDDLE, WE, "CONSTRAINED EXPRESSIONS - ADDING ANALYSIS CAPABILITIES TO DESIGN METHODS FOR CONCURRENT SOFTWARE SYSTEMS" (1986). IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1284.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/1284
COinS