Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton
On Computing the Transitive Closure of a State Transition Relation
DAC, 1993.
@inproceedings{DAC-1993-MatsunagaMB,
author = "Yusuke Matsunaga and Patrick C. McGeer and Robert K. Brayton",
booktitle = "{Proceedings of the 30th Design Automation Conference}",
doi = "10.1145/157485.164884",
isbn = "0-89791-577-1",
pages = "260--265",
publisher = "{ACM Press}",
title = "{On Computing the Transitive Closure of a State Transition Relation}",
year = 1993,
}