奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 学内論文・講義資料

An extension of pushdown system and its model checking method PDF

Naoya Nitta and Hiroyuki Seki

生駒 : 奈良先端科学技術大学院大学, 2003.6

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 PDF   電子化情報 TR R002393   0
刊年 : 2003
形態 : 34 p.
シリーズ名 :

Information Science Technical Report ; TR2003007

標題言語 : (eng)
本文言語 : (eng)
著者情報 :

新田, 直也 (ニッタ, ナオヤ)

関, 浩之 (セキ, ヒロユキ)

ISSN : 09199527