Verification of digital circuits based on formal semantics of a hardware description language
EURO-DAC '92 Proceedings of the conference on European design automation
Planning Proofs of Equations in CCS
Automated Software Engineering
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Hi-index | 0.00 |