Proceedings of the 6th International Conference on Computer Aided Verification

Authors:
David L. Dill
Affiliations:
-
Venue:
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Year:
1994

Citing 0
Cited 2

Bounded Delay Timing Analysis of a Class of CSP Programs

Formal Methods in System Design
Efficient model checking via the equational /spl mu/-calculus

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract