JAIST Repository >

著者:  "Cai, Xiaojuan"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

5 著者名表示.

発行日タイトル 著者
8-Jan-2013 Well-Structured Pushdown Systems, Part 1: Decidable Classes for CoverabilityCai, Xiaojuan; Ogawa, Mizuhito
11-Jun-2013 Nested Timed AutomataLi, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji
19-Aug-2013 Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown AutomataOgawa, Mizuhito; Cai, Xiaojuan
Jun-2014 Well-Structured Pushdown System: Case of Dense Timed Pushdown AutomataCai, Xiaojuan; Ogawa, Mizuhito
17-May-2016 Termination and Boundedness for Well-Structured Pushdown SystemsLei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係