Biblio

Export 2 results:
Sort by: [ Author  (Desc)] Keyword Title Type Year
Filters: Author is Kollmann, M.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
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  Download: 2003JUCS.pdf (167.55 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract  Download: 2002FMTOOLS.pdf (595.59 KB)