Model checking Boolean programs

Metadata Label	Value
Author(s):	Basler, Gérard Charly
Publisher:	ETH
Citation:	Basler, Gérard Charly. Model checking Boolean programs. ETH (2010). doi:10.3929/ethz-a-006213873.
Document Type:	Doctoral and Habilitation Theses
Documents:	Abstract (103.48KB), Fulltext (1.95MB)

Detailed Information

Metadata	Description
Title	Model checking Boolean programs
Author(s)	Basler, Gérard Charly
Publication Place	Zürich
Publisher	ETH
Publication Date	2010
Notes	Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 18870, 2010
Language	English
DOI	10.3929/ethz-a-006213873
ISBN	978-0-557-76719-9
Subject(s)	Software
Keyword(s)	PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS REFINEMENT VERIFICATION

Description	File Name	MIME Type	Size
Abstract	eth-2033-01.pdf	application/pdf	103.48KB
Fulltext	eth-2033-02.pdf	application/pdf	1.95MB

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006213873

Abstract Views and Downloads
Views	82
Downloads	109

Abstract Views and Downloads by Country
	Views	17
	Downloads	22
China	Views	33
China	Downloads	12
Germany	Views	1
Germany	Downloads	11
Austria	Views	2
Austria	Downloads	9
United States	Views	9
United States	Downloads	9
Switzerland	Views	5
Switzerland	Downloads	6
France	Views	0
France	Downloads	5
Sweden	Views	0
Sweden	Downloads	5
United Kingdom	Views	6
United Kingdom	Downloads	5
India	Views	2
India	Downloads	4
Israel	Views	0
Israel	Downloads	4
Italy	Views	3
Italy	Downloads	4
Canada	Views	0
Canada	Downloads	2
Japan	Views	0
Japan	Downloads	2
Algeria	Views	1
Algeria	Downloads	1
Belgium	Views	0
Belgium	Downloads	1
Czech Republic	Views	0
Czech Republic	Downloads	1
Ethiopia	Views	1
Ethiopia	Downloads	1
Lebanon	Views	0
Lebanon	Downloads	1
Netherlands	Views	1
Netherlands	Downloads	1
Poland	Views	0
Poland	Downloads	1
Singapore	Views	0
Singapore	Downloads	1
Spain	Views	0
Spain	Downloads	1
Russian Federation	Views	1
Russian Federation	Downloads	0