Computing and Information Technology Interactive Digital Educational Library

 

CITIDEL >
Syllabus Collection >
Syllabus >

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

Title: Model Checking, CS 6964, Fall 2005 T,H 12:25 PM-01:45 PM -- MEB ...
Authors: University of Utah School of Computing
Issue Date: 
Publisher: University of Utah School of Computing
Citation: http://www.cs.utah.edu/classes/cs6964/index.ps
Abstract: 
URI: http://www.citidel.org/handle/10117/6694
Appears in Collections:Syllabus

Files in This Item:

File SizeFormat
89-index.ps168KbPostscriptView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2006 MIT and Hewlett-Packard - Feedback