Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleConstructing invariants for hybrid systems.
Author(s) Zohar Manna, Sriram Sankaranarayanan, Henny B. Sipma
TypeArticle in Journal
Abstract
KeywordsHybrid systems, Analysis, Verification
ISSN0925-9856; 1572-8102/e
URL http://link.springer.com/article/10.1007%2Fs10703-007-0046-1
LanguageEnglish
JournalForm. Methods Syst. Des.
Volume32
Number1
Pages25--55
PublisherSpringer US, New York, NY
Year2008
Edition0
Translation No
Refereed No
Webmaster