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.
@inproceedings{AmonHBB93,
title = {An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems},
author = {Tod Amon and Henrik Hulgaard and Steven M. Burns and Gaetano Borriello},
year = {1993},
researchr = {https://researchr.org/publication/AmonHBB93},
cites = {0},
citedby = {0},
pages = {166-173},
booktitle = {ICCD},
}