Ray Turner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

2 EE Ray Turner: System-Level Verification - A Comparison of Approaches. IEEE International Workshop on Rapid System Prototyping 1999: 154-159

1987

1 Ray Turner: A Theory of Properties. J. Symb. Log. 52(2): 455-472 (1987)

1999
2	EE	Ray Turner: System-Level Verification - A Comparison of Approaches. IEEE International Workshop on Rapid System Prototyping 1999: 154-159
1987
1		Ray Turner: A Theory of Properties. J. Symb. Log. 52(2): 455-472 (1987)