"Refining Real-Time System Specifications through Bounded Model- and ..."

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics