A unified framework for describing and verifying hardware synchronous sequential systems

✍ Scribed by Ghislaine Thuau; Bachir Berkane

• Publisher: Springer
• Year: 1993
• Tongue: English
• Weight: 1000 KB
• Volume: 2
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1007/bf01384134