Synchronized Recursive Timed Automata

Publication Information

Title

Japanese:
English:	Synchronized Recursive Timed Automata

Author

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

Language

English

Journal/Book name

Japanese:
English:	Lecture notes in computer science, LNCS

Volume, Number, Page

9452 249-265

Published date

Nov. 2015

Publisher

Japanese:
English:	Springer

Conference name

Japanese:
English:	International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

Conference site

Japanese:
English:

DOI