Bisimilar Finite Abstractions of Interconnected Systems | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Bisimilar Finite Abstractions of Interconnected Systems

Author

Japanese:	田崎勇一, 井村順一.
English:	Y.Tazaki, J.Imura.

Language

English

Journal/Book name

Japanese:
English:	Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 4981

Volume, Number, Page

514/527

Published date

2008

Publisher

Japanese:
English:	Springer-Verlag

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI

https://doi.org/10.1007/978-3-540-78929-1_37

©2007 Tokyo Institute of Technology All rights reserved.