Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems


Hokkaido University \| Library \| HUSCAP	Advanced Search		言語

	Home
	About HUSCAP
	Open Access Policy

	Browse by Author

Browse
	Communities & Collections

	Scholarly Journals
	Theses
	Doctoral Dissertations Listed by Graduate Schools
	Conference Procs.
	Events

	HUSCAP Senior (in Japanese)

	Societies

	Downloads (country)

For university staff
	How to post your papers to HUSCAP
	Publication of theses
	Helpline about theses publication

Open Archives Compliant

You can search our collection also at:
	Google
	Google Scholar
	CiNii
	IRDB
	OAIster
	NDLTD

Files in This Item:

Hiroaki_Iwashita.pdf

1.27 MB

PDF

Please use this identifier to cite or link to this item:https://doi.org/10.14943/doctoral.k11291

Related Items in HUSCAP:

Title:	Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems
Other Titles:	プロパティ検証問題における二分決定グラフの実用的な技術と応用
Authors:	岩下, 洋哲¹ Browse this author
Authors(alt):	Iwashita, Hiroaki¹
Issue Date:	25-Mar-2014
Publisher:	Hokkaido University
Conffering University:	北海道大学
Degree Report Number:	甲第11291号
Degree Level:	博士
Degree Discipline:	情報科学
Examination Committee Members:	(主査) 教授湊真一, 教授有村博紀, 客員教授白井康之
Degree Affiliation:	情報科学研究科（コンピュータサイエンス専攻）
Type:	theses (doctoral)
URI:	http://hdl.handle.net/2115/55450
Appears in Collections:	学位論文 (Theses) > 博士　（情報科学）課程博士 (Doctorate by way of Advanced Course) > 情報科学院(Graduate School of Information Science and Technology)

OAI-PMH ( junii2 , jpcoar_1.0 )

- Hokkaido University