Modeling and proving functional completeness in formal verification of counting heads |
| |
Authors: | Sebastian Kinder Rolf Drechsler |
| |
Affiliation: | 1.Institute of Mathematics and Informatics,University of Bremen,Bremen,Germany |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|