Configuration Reachability Analysis of Synchronized Recursive Timed Automata | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Configuration Reachability Analysis of Synchronized Recursive Timed Automata

Author

Japanese:	上里友弥, 南出靖彦.
English:	Yuya Uezato, Yasuhiko Minamide.

Language

English

Journal/Book name

Japanese:	コンピュータソフトウェア
English:

Volume, Number, Page

Vol. 35 No. 1 pp. 140-168

Published date

Jan. 2018

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

©2007 Tokyo Institute of Technology All rights reserved.