Algorithms

Leslie Lamport

January 1995

Richard M. Karp, Orli Waarts, Geoffrey Zweig

January 1995

Roy L. Crole, Andy Gordon

International Workshop on Computer Science Logic | January 1995

Lecture Notes in Computer Science

ISBN: 978-3-540-60017-6 (Print) 978-3-540-49404-1 (Online)

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