Showing
1 - 1
results of
1
Skip to content
Texas A&M University Libraries
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Bloem, Roderick P.
Search Results - Bloem, Roderick P.
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Decidability of parameterized verification /
by
Bloem, Roderick P
.
,
Jacobs, Swen
,
Khalimov, Ayrat
,
Konnov, Igor, 1958-
,
Rubin, Sasha
,
Veith, Helmut
,
Widder, Josef
Published 2015
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
Email Search
Related Subjects
Computer software
Distributed processing
Electronic data processing
Verification
Loading...