Suwen Yang, Mark R. Greenstreet
Computing synchronizer failure probabilities
DATE, 2007.
@inproceedings{DATE-2007-YangG, author = "Suwen Yang and Mark R. Greenstreet", booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}", doi = "10.1145/1266366.1266663", isbn = "978-3-9810801-2-4", pages = "1361--1366", publisher = "{ACM}", title = "{Computing synchronizer failure probabilities}", year = 2007, }