Farhad Mavaddat, T. Gahlinger. On Deducing Timing Constraints in the Verification of Interfaces. Formal Methods in System Design, 12(3):223-239, 1998.
@article{MavaddatG98,
title = {On Deducing Timing Constraints in the Verification of Interfaces},
author = {Farhad Mavaddat and T. Gahlinger},
year = {1998},
tags = {constraints},
researchr = {https://researchr.org/publication/MavaddatG98},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {12},
number = {3},
pages = {223-239},
}