An edition of Two methods for checking formulas of temporal logic (1995)

Two methods for checking formulas of temporal logic

by Hugh W. McGuire

Two methods for checking formulas of temporal ...

Hugh W. McGuire, Hugh W. McGui ...

Locate

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

WorldCat

Buy this book

Last edited by Open Library Bot

December 4, 2010 | History

Edit

An edition of Two methods for checking formulas of temporal logic (1995)

Two methods for checking formulas of temporal logic

by Hugh W. McGuire

This work doesn't have a description yet. Can you add one?

Publish Date

1995

Publisher

Dept. of Computer Science, Stanford University

Language

English

Pages

144

Check nearby libraries

WorldCat

Buy this book

Edition	Availability
1 Two methods for checking formulas of temporal logic 1995, Dept. of Computer Science, Stanford University in English	aaaa Locate

Add another edition?

Book Details

Edition Notes

Thesis (Ph. D.)--Stanford University, 1995.
Includes bibliographical references (p. 135-142) and index.
Cover title.
"June 1995."

Published in: Stanford, Calif
Series: Report ;, no. STAN-CS-TR-95-1551, Report (Stanford University. Computer Science Dept.) ;, STAN-CS-TR-95-1551.

Classifications

Library of Congress: QA76.9.A96 M385 1995

The Physical Object

Pagination: viii, 144 p. :
Number of pages: 144

Edition Identifiers

Open Library: OL727431M
LCCN: 97116088
OCLC/WorldCat: 34426902

Work Identifiers

Work ID: OL2806481W

Source records

Library of Congress MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Created December 10, 2009
3 revisions

Download catalog record: RDF / JSON

December 4, 2010	Edited by Open Library Bot	Added subjects from MARC records.
February 6, 2010	Edited by WorkBot	add more information to works
December 10, 2009	Created by WorkBot	add works page

Two methods for checking formulas of temporal logic

by Hugh W. McGuire