|
|
JAIST Repository >
著者: "Cai, Xiaojuan"
5 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 8-Jan-2013 | Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability | Cai, Xiaojuan; Ogawa, Mizuhito |
| 11-Jun-2013 | Nested Timed Automata | Li, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji |
| 19-Aug-2013 | Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata | Ogawa, Mizuhito; Cai, Xiaojuan |
| Jun-2014 | Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata | Cai, Xiaojuan; Ogawa, Mizuhito |
| 17-May-2016 | Termination and Boundedness for Well-Structured Pushdown Systems | Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
|
