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
Search Results - "Computer simulation Testing Data processing"
Search Results - "Computer simulation Testing Data processing"
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proc...
Published 1999
Subjects:
“
...
Computer simulation Testing Data processing
Congresses....
”
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Conference Proceeding
1 results
1
eBook
1 results
1
Library Locations
Remote Storage Facility
1 results
1
Joint Library Facility
1 results
1
Please enable JavaScript.
Year of Publication
From:
To:
Author
Dams, Dennis
1 results
1
Federated Logic Conference
1 results
1
International SPIN Workshop
1 results
1
International SPIN Workshop Trento, Italy
1 results
1
SpringerLink (Online service)
1 results
1
World Congress on Formal Methods in the Development of Computing Systems
1 results
1
Language
English
1 results
1
Geography
Trient
1 results
1
Loading...