Modeling and proving functional completeness in formal verification of counting heads

✍ Scribed by Sebastian Kinder; Rolf Drechsler

• Book ID: 106245493
• Publisher: Springer
• Year: 2008
• Tongue: English
• Weight: 650 KB
• Volume: 10
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-008-0084-z