Composing Abstractions of Hybrid Systems

AuthID
P-000-R94
3
Author(s)
Tabuada, P
·
Pappas, GJ
·
2
Editor(s)
Tomlin, CJ; Greenstreet, MR
Document Type
Article
Year published
2002
Published
in HYBRID SYSTEMS: COMPUTATION AND CONTROL in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 2289, Pages: 436-450 (15)
Conference
5Th International Workshop on Hybrid Systems - Computation and Control, Date: MAR 25-27, 2002, Location: STANFORD, CALIFORNIA, Sponsors: Natl Sci Fdn, Stanford Univ
Indexing
Publication Identifiers
Wos: WOS:000181347500031
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.