@inproceedings{MRS:TPTS02,
author = {M. Oliver M{\"o}ller and Harald Rue{\ss} and Maria Sorea}, 
title = {{P}redicate {A}bstraction for {D}ense {R}eal-{T}ime {S}ystems},
booktitle = {Theory and Practice of Timed Systems (TPTS'02); part of ETAPS 2002},
editor = {E. Asarin and O. Maler and S. Yovine},
place = {Grenoble, France},
month = apr,
      
year = {2002},
}