Title
AUTOMATED-ANALYSIS OF CONCURRENT SYSTEMS WITH THE CONSTRAINED EXPRESSION TOOLSET
Publication Date
1991
Journal or Book Title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Pages
1204-1222
Volume
17
Issue
11
Recommended Citation
AVRUNIN, GS; BUY, UA; CORBETT, JC; DILLON, LK; and Wileden, JC, "AUTOMATED-ANALYSIS OF CONCURRENT SYSTEMS WITH THE CONSTRAINED EXPRESSION TOOLSET" (1991). IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1274.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/1274