Hermanns, Holger

Vis mig kun

CONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

Hermanns, Holger

875,33 DKK

Computer Aided Verification

Computer Aided Verification

Hermanns, Holger

436,85 DKK

Interactive Markov Chains

Interactive Markov Chains

Hermanns, Holger

436,85 DKK

Measurement, Modelling and Evaluation of Computing Systems

Measurement, Modelling and Evaluation of Computing Systems

Hermanns, Holger

436,85 DKK

Measurement, Modelling and Evaluation of Computing Systems

Measurement, Modelling and Evaluation of Computing Systems

Hermanns, Holger

436,85 DKK