Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 2 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
[
Type
]
Year
Filters:
Author
is
Kollmann, M.
[Clear All Filters]
Conference Paper
Ehrich, H. - D.
,
M. Kollmann
, and
R. Pinger
,
"
Distributed Model Checking
",
Proc. FM-TOOLS 2002
, pp. 53-58, 2002.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2002FMTOOLS.pdf
(595.59 KB)
Journal Article
Ehrich, H. - D.
,
M. Kollmann
, and
R. Pinger
,
"
Checking Object System Designs Incrementally
",
Journal of Universal Computer Science
, vol. 9, no. 2, pp. 106-119, February, 2003.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2003JUCS.pdf
(167.55 KB)