Logical analysis of hybrid systems proving theorems for complex dynamics
Saved in:
Main Author: | |
---|---|
Format: | Book |
Published: |
Heidelberg
Springer
2010
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!