Title

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

This document is currently not available here.

Share

COinS