Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Constructing invariants for hybrid systems.
Author(s)
Zohar Manna
,
Sriram Sankaranarayanan
,
Henny B. Sipma
Type
Article in Journal
Abstract
Keywords
Hybrid systems, Analysis, Verification
ISSN
0925-9856; 1572-8102/e
URL
http://link.springer.com/article/10.1007%2Fs10703-007-0046-1
Language
English
Journal
Form. Methods Syst. Des.
Volume
32
Number
1
Pages
25--55
Publisher
Springer US, New York, NY
Year
2008
Edition
0
Translation
No
Refereed
No
Webmaster