Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. Extreme Formal Modeling (XFM) for Hardware Models. In 5th International Workshop on Microprocessor Test and Verification, Septembre 2004.
@InProceedings{Mtv04,
Author = {Suhaib, Syed and Mathaikutty, Deepak and Berner, David and Shukla, Sandeep},
Title = {Extreme Formal Modeling (XFM) for Hardware Models},
BookTitle = {5th International Workshop on Microprocessor Test and Verification},
Month = {September},
Year = {2004}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.