Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Formal Verification and Hardware Design with Statecharts
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Hi-index | 0.00 |