Home › Biblio

Biblio

Export 2 results:
Sort by: Author Keyword Title [ Type (Desc)] Year
Filters: Author is Kollmann, M.  [Clear All Filters]
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
Conference Proceedings
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract