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:	Jun-ichi Imura, Yuichi Tazaki.

Language

English

Journal/Book name

Japanese:	計測自動制御学会第8回制御部門大会資料
English:

Volume, Number, Page

74-3-4

Published date

2008

Publisher

Japanese:
English:

Conference name

Japanese:	計測自動制御学会第8回制御部門大会
English:

Conference site

Japanese:
English:

©2007 Tokyo Institute of Technology All rights reserved.