AUTOMATED DERIVATION OF TIME-BOUNDS IN UNIPROCESSOR CONCURRENT SYSTEMS

Authors

GS AVRUNIN
JC CORBETT
LK DILLON
JC Wileden

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