An extension of pushdown system and its model checking method

An extension of pushdown system and its model checking method

Naoya Nitta and Hiroyuki Seki

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

学内論文

メールで送信

宛先

件名

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • TR

R002393

メールで送信

宛先

件名

巻号情報へ戻る

詳細情報

刊年

2003

形態

34 p.

シリーズ名

Information Science Technical Report ; TR2003007

標題言語

(eng)

本文言語

(eng)

著者情報

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

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

ISSN

09199527

ブックマークを編集

リストを選択

メモ

リストを選択

ブックマークに登録

リストを選択

指定なし

メモ