"Tools and Algorithms for Construction and Analysis of Systems, 5th ..."

Rance Cleaveland (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics