Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-12-01
著者
-
Van Tang
Collaborative Research Team For Verification And Specification National Institute Of Advanced Industrial Science And Technology
-
OHSAKI Hitoshi
Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology
-
Ohsaki Hitoshi
Collaborative Research Team For Verification And Specification National Institute Of Advanced Industrial Science And Technology