skip to content
Nondeterministic modeling and verification of networked robotic systems Preview this item
ClosePreview this item

Nondeterministic modeling and verification of networked robotic systems

Author: John-Michael McNew
Publisher: 2008.
Dissertation: Ph. D. University of Washington 2008
Edition/Format:   Thesis/dissertation : Thesis/dissertation : Manuscript   Archival Material : English
Database:WorldCat
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Genre/Form: Theses
Material Type: Thesis/dissertation, Manuscript
Document Type: Book, Archival Material
All Authors / Contributors: John-Michael McNew
OCLC Number: 747281888
Notes: Vita.
Description: xiv, 238 pages : illustrations ; 28 cm
Responsibility: John-Michael McNew.
Retrieving notes about this item Retrieving notes about this item

Reviews

User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.