.gif)
] Filters: Author is Kollmann, M. [Clear All Filters]
"Checking Object System Designs Incrementally",
Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003.
Abstract
Download: 2003JUCS.pdf (167.55 KB)
"Distributed Model Checking",
Proc. FM-TOOLS 2002, pp. 53-58, 2002.
Abstract
Download: 2002FMTOOLS.pdf (595.59 KB)