test Browse by Author Names Browse by Titles of Works Browse by Subjects of Works Browse by Issue Dates of Works

Advanced Search
& Collections
Issue Date   
Sign on to:   
Receive email
My Account
authorized users
Edit Profile   
About T-Space   

T-Space at The University of Toronto Libraries >
Faculty of Arts and Science >
Department of Computer Science >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1807/16887

Title: Temporal Logic Query Checking: A Tool for Model Exploration
Authors: Gurfinkel, A.
Chechik, M.
Devereux, B.
Issue Date: 2003
Publisher: Institute of Electrical and Electronics Engineers
Citation: Gurfinkel, A., Chechik, M. and Devereux, B. Temporal Logic Query Checking: A Tool for Model Exploration 2003
URI: http://hdl.handle.net/1807/16887
ISSN: 0098-5589
Rights: ©2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Appears in Collections:Department of Computer Science

Files in This Item:

File Description SizeFormat
Chechik_2847_2979.pdf1.54 MBAdobe PDF

Items in T-Space are protected by copyright, with all rights reserved, unless otherwise indicated.