Hardware verification using monadic second-order logic
| Author(s) : | Ny Munkegade Nils Klarlund Nils Klarlund David A. Basin David A. Basin, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS, |