David Cyrluk (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 David Cyrluk, M. Oliver Möller, Harald Rueß: An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. CAV 1997: 60-71

9 Mandayam K. Srivas, Harald Rueß, David Cyrluk: Hardware Verification Using PVS. Formal Hardware Verification 1997: 156-205

Selection of 2 from 10 records - David Cyrluk has 13 coauthors

10		David Cyrluk, M. Oliver Möller, Harald Rueß: An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. CAV 1997: 60-71
9		Mandayam K. Srivas, Harald Rueß, David Cyrluk: Hardware Verification Using PVS. Formal Hardware Verification 1997: 156-205