A unified approach for combining different formalisms for hardware verification (1996)

Cached

Download Links

by Klaus Schneider , Thomas Kropf
Venue:PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN, VOLUME 1166 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:4 - 1 self