Simulation and verification of digital systems with NuSMV
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Slovak English |
| PhysicalDescription: | Sch., tab. |
| ISSN: | 1335-8243 |
| Subjects: |
| Item Description: | Biogr. údaje |
|---|---|
| Physical Description: | Sch., tab. |
| ISSN: | 1335-8243 |
| Bibliography: | Bibliogr. odkazy |
