Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Formal specification and verification of a dataflow processor array
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
New directions in computer-aided verification
ACM SIGSOFT Software Engineering Notes
``Next'' Heuristic for On-the-Fly Model Checking
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Assume-Guarantee Refinement Between Different Time Scales
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
| Hi-index | 0.00 |