AUTOMATED DERIVATION OF TIME-BOUNDS IN UNIPROCESSOR CONCURRENT SYSTEMS
Publication Date
1994
Journal or Book Title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Pages
708-719
Volume
20
Issue
9
Recommended Citation
AVRUNIN, GS; CORBETT, JC; DILLON, LK; and Wileden, JC, "AUTOMATED DERIVATION OF TIME-BOUNDS IN UNIPROCESSOR CONCURRENT SYSTEMS" (1994). IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1273.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/1273
COinS