Department Seminar Series

Towards compositional CSL model-checking

3rd May 2005, 16:00 add to calender
Paolo Ballarini
Department of Computer Science, University of Liverpool, Liverpool, UK