Automated logical verification based on trace abstractions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Verifying hardware in its software context
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Formal Verification of a Distributed Computer System
Formal Methods in System Design
Combining Software and Hardware Verification Techniques
Formal Methods in System Design
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |