Showing
1 - 1
results of
1
for search '
Jang, Jae-Young
'
Skip to content
University Libraries Home
Law Library Home
Login to My Library Account
Help
Library Catalog
All Fields
Title
Journal Title
Author
Subject
Call Number
ISBN/ISSN
Series
Browse Alphabetically: By Topic
Browse Alphabetically: By Author
Browse Alphabetically: By Title
Browse Alphabetically: By Call Number
SolrAuthor
-- Title
-- Journal Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- Series
Search
Advanced
Limit to Law Library
Author
Jang, Jae-Young
Showing
1 - 1
results of
1
for search '
Jang, Jae-Young
'
, query time: 0.01s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Iterative abstraction-based CTL model checking /
by
Jang, Jae-Young
Published 1999
Call Number:
Loading…
Located:
Loading…
Thesis
Book
Loading…
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
RSS Feed
Related Subjects
CU Boulder
Electrical Engineering
Integrated circuits
Mathematical models
Verification
Loading...
