Open Library logo
See what's new with book lending at the Internet Archive
Last edited by Open Library Bot
December 4, 2010 | History

Two methods for checking formulas of temporal logic 1 edition

Two methods for checking formulas of temporal logic
Hugh W. McGuire

1 edition First published in 1995

Edition Read Locate Buy
Cover of: Two methods for checking formulas of temporal logic
Two methods for checking formulas of temporal logic
1995, Dept. of Computer Science, Stanford University
in English

History

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