Norbert Giambiasi, A. Miara, D. Muriach
Methods for generalized deductive fault simulation
DAC, 1980.
@inproceedings{DAC-1980-GiambiasiMM, author = "Norbert Giambiasi and A. Miara and D. Muriach", booktitle = "{Proceedings of the 17th Design Automation Conference}", doi = "10.1145/800139.804560", isbn = "0-89791-020-6", pages = "386--392", publisher = "{ACM/IEEE}", title = "{Methods for generalized deductive fault simulation}", year = 1980, }