Home › Biblio

Biblio

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