Abstraction and search in verification by state exploration (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.3)

Abstraction and search in verification by state exploration

(AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.3)

Publisher: Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology

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

Material Type: 図書
Title: Abstraction and search in verification by state exploration
Author/Editor: [by]Koichi Takahashi
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.3
Publication, Distribution, etc.: Amagasaki : Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology
Publication Date: 2002.5
Publication Date (W3CDTF): 2002
Extent: 152p
Size: 30cm
Alternative Title: 状態探査による検証における抽象化と探索ジョウタイタンサニヨルケンショウニオケルチュウショウカトタンサク
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B9
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003586422
http://id.ndl.go.jp/bib/000003586422
National Bibliography No. (JPNO): 20404606
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113