An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems

Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello. An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. In ICCD. pages 166-173, 1993.

Possibly Related Publications

The following publications are possibly variants of this publication: