View in EDS HTML Full Text PDF Full Text

Asynchronous multi-process timed automata.

Saved in:

Bibliographic Details
Title:	Asynchronous multi-process timed automata.
Authors:	Li, Guoqiang¹, li.g@sjtu.edu.cn, Liu, Li¹, lee.liu@sjtu.edu.cn, Fukuda, Akira², fukuda@f.ait.kyushu-u.ac.jp
Source:	Software Quality Journal; Sep2018, Vol. 26 Issue 3, p961-989, 29p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09639314
DOI:	10.1007/s11219-017-9380-8