Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin
Efficient Verification using Generalized Partial Order Analysis
DATE, 1998.
@inproceedings{DATE-1998-VercauterenVJL,
author = "Steven Vercauteren and Diederik Verkest and Gjalt G. de Jong and Bill Lin",
booktitle = "{Proceedings of the Third Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1998.655947",
pages = "782--789",
publisher = "{IEEE Computer Society}",
title = "{Efficient Verification using Generalized Partial Order Analysis}",
year = 1998,
}