Uli Fahrenberg · 2 obras en el catálogoObrasFormal Modeling and Analysis of Timed SystemsRelational and Algebraic Methods in Computer Science