David N. Jansen · 2 obras en el catálogoObrasFormal Modeling and Analysis of Timed SystemsQQuantitative Evaluation of SystemsQuantitative Evaluation of Systems