View in EDS

Automated derivation of time bounds in uniprocessor concurrent systems.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first