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 MARC Bot

November 26, 2020 | 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 edition 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 April 1, 2008
3 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

November 26, 2020	Edited by MARC Bot	import existing book
December 11, 2009	Edited by WorkBot	link works
April 1, 2008	Created by an anonymous user	Imported from Scriblio MARC record

Two methods for checking formulas of temporal logic

by Hugh W. McGuire