Algorithms

Alistair Sinclair, Dana Randall, Michael Luby

January 1995

Yuri Gurevich, Raghu Mani

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

Richard M. Karp, Orli Waarts, Geoffrey Zweig

January 1995

David Kurlander, Daniel T. Ling, Dan Ling

MSR-TR-95-21 | January 1995

Roy L. Crole, Andy Gordon

International Workshop on Computer Science Logic | January 1995

Lecture Notes in Computer Science

ISBN: 9783540600176

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

January 1995

Yuri Gurevich

Specification and Validation Methods | Published by Oxford University Press | 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