Automated derivation of time bounds in uniprocessor concurrent systems.
Saved in:
| Title: | Automated derivation of time bounds in uniprocessor concurrent systems. |
|---|---|
| Authors: | Avrunin, George S., Corbett, James C., Dillon, Laura K. |
| Source: | IEEE Transactions on Software Engineering; September 1994, Vol. 20, p708-719, 12p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00985589 |
|---|---|
| DOI: | 10.1109/32.317429 |
