• Top
  • Details (Local collection)
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

In-house publ.

Send by email

Address

Subject

Volume No.

Total: 1
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • TR

R002393

Send by email

Address

Subject

Back to volume top

Details

Publication year

2003

Form

34 p.

Series title

Information Science Technical Report ; TR2003007

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

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

ISSN

09199527

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo