Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man
A Time Abstraction Method for Efficient Verification of Communicating Systems
DAC, 1994.
@inproceedings{DAC-1994-VerlindKJLM,
author = "Eric Verlind and Tilman Kolks and Gjalt G. de Jong and Bill Lin and Hugo De Man",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196579",
isbn = "0-7803-1836-6",
pages = "609--614",
publisher = "{ACM Press}",
title = "{A Time Abstraction Method for Efficient Verification of Communicating Systems}",
year = 1994,
}