Back to Search Start Over

Configuration Reachability Analysis of Synchronized Recursive Timed Automata

Authors :
Uezato, Yuya
Minamide, Yasuhiko
Source :
コンピュータソフトウェア. 35(No. 1):140-168
Publication Year :
2018

Details

Language :
English
Volume :
35
Issue :
No. 1
Database :
OpenAIRE
Journal :
コンピュータソフトウェア
Accession number :
edsair.jairo.........fb7c6508477cc3321236126f0099b295

Tools

Authors Abstract Subjects Details