Department Seminar Series
Towards compositional CSL model-checking
3rd May 2005, 16:00
Paolo Ballarini
Department of Computer Science, University of Liverpool, Liverpool, UK
Maintained by Othon Michail