Algorithms

Egon Börger, Yuri Gurevich, Dean Rosenzweig

1995 Oxford University Press book, Specification and Validation Methods | January 1995

Yuri Gurevich

Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition

David Kurlander, Daniel T. Ling, Dan Ling

MSR-TR-95-21 | January 1995

Alistair Sinclair, Dana Randall, Michael Luby

January 1995

Yuri Gurevich, Raghu Mani

1995 Oxford University Press book, Specification and Validation Methods | January 1995

Tom Barclay, Jim Gray, Chris Nyberg, David Lomet, Zarka Cvetanovic

January 1995

Leslie Lamport

Theoretical Computer Science SRC Research Report 132 | December 1994, Vol 179: pp. 333-351

Leslie Lamport

1994-001 | December 1994

The Annals of Statistics

Jin-Yi Cai, Wolfgang Fuchs, Dexter Kozen, Zicheng Liu

Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on | November 1994

Joseph Pentheroudakis, Lucy Vanderwende

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993 | November 1994

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993