雑誌電子情報通信学会技術研究報告 : 信学技報
Volume number106(376)-106(387) 20061100-20061100
Article動的局所変数を含むア...

動的局所変数を含むアサーションに対する限定モデルチェッキング

Icons representing 記事

動的局所変数を含むアサーションに対する限定モデルチェッキング

Call No. (NDL)
Z16-940
Bibliographic ID of National Diet Library
8572122
Material type
記事
Author
竹内 翔ほか
Publisher
東京 : 電子情報通信学会
Publication date
2006-11-28
Material Format
Paper
Journal name
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 106(387) 2006.11.28
Publication Page
p.11～16
View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Title
動的局所変数を含むアサーションに対する限定モデルチェッキング
Author/Editor
竹内 翔
浜口 清治
柏原 敏伸
Author Heading
竹内 翔
浜口 清治
柏原 敏伸
Periodical title
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue
106(387) 2006.11.28
Volume
106
Issue
387
Pages
11～16
Publication date of volume/issue (W3CDTF)
2006-11-28