Skip to main content
ETH Zurich
ETH Library
Research Collection
Help
English
English
Deutsch
Research Collection
search
Search
search
lock
Login
Statistics
Browse
Home
Technical report
Journal:
Technical report
Loading...
Abbreviation
Publisher
ETH Zurich, Information Security, Department of Computer Science
Journal Volumes
ISSN
Description
Show all metadata
Publications
Research Data
2 results
Back to results
Filters
Author / Producer
2
Brucker, Achim D.
2
Wolff, Burkhart
1
Brügger, Lukas
1
Krieger, Matthias P.
Search author name
Submit
Publication Type
2
Report
Search publication type
Submit
Date
Start
End
Submit
2005 - 2010
2
Availability
2
Open access
Search Available
Submit
ETH Publication
2
yes
Search ETH Publication
Submit
Reset filters
search
Search
Search Tools
Search Results
Publications
1 - 2 of 2
keyboard_arrow_down
10 Results Per Page
check
1
check
5
check
10
check
20
check
40
check
60
check
80
check
100
keyboard_arrow_down
Descending
check
Ascending
check
Descending
Loading...
HOL-TestGen 1.0.0 user guide
Item type:
Report
Brucker, Achim D.
;
Wolff, Burkhart
(
2005
)
Show more
Technical report
Loading...
HOL-TestGen 1.5.0 user guide
Item type:
Report
Brucker, Achim D.
;
Brügger, Lukas
;
Krieger, Matthias P.
; et al.
(
2010
)
Show more
Technical report
Publications
1 - 2 of 2
Show statistical information
