Silvano Gai, Pier Luca Montessoro, Fabio Somenzi
The Performance of the Concurrent Fault Simulation Algorithms in MOZART
DAC, 1988.
@inproceedings{DAC-1988-GaiMS,
acmid = "285730.285849",
author = "Silvano Gai and Pier Luca Montessoro and Fabio Somenzi",
booktitle = "{Proceedings of the 25th Design Automation Conference}",
pages = "692--697",
publisher = "{ACM}",
title = "{The Performance of the Concurrent Fault Simulation Algorithms in MOZART}",
year = 1988,
}