← Catalogus

G. Frehse

1 titel in de boekenbase · Auteur
Informatiekunde
Over G. Frehse
G. Frehse staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder informatiekunde.
Compositional Verification of Hybrid Systems Using Simulation Relations
G. Frehse
Compositional Verification of Hybrid Systems Using Simulation Relations
G. Frehse
Paperback