Breadcrumb

 
 

An efficient algorithm and software package for verifying delay-insensitive systems using a partial-order model

Title:

An efficient algorithm and software package for verifying delay-insensitive systems using a partial-order model

Jensen, Lin (1991) An efficient algorithm and software package for verifying delay-insensitive systems using a partial-order model. Masters thesis, Concordia University.

[img]
Preview
PDF
7Mb

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Jensen, Lin
Pagination:184 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:1991
ID Code:6046
Deposited By:Concordia University Libraries
Deposited On:03 Sep 2009 09:48
Last Modified:08 Dec 2010 10:48
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer