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

Advanced Search
Home   
 
Browse   
Communities
& Collections
  
Issue Date   
Author   
Title   
Subject   
 
Sign on to:   
Receive email
updates
  
My Account
authorized users
  
Edit Profile   
 
Help   
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
View/Open

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

uoft