S K -constraints for Hybrid Systems
Attributed to:
The Manchester Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-11486-1_20
Publication URI: http://dx.doi.org/10.1007/978-3-642-11486-1_20
Type: Book Chapter
Book Title: Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers (2010)
Page Reference: 230-241
ISBN: 978-3-642-11485-4