Filter
Sökt på: christel baier
Filter
totalt 3 träffar
Tools and Algorithms for the Construction and Analysis of Systems
E-bok,
2015,
Engelska,
ISBN 9783662466810
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in …
CONCUR 2006 - Concurrency Theory
E-bok,
2006,
Engelska,
ISBN 9783540373773
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27-30, 2006. The purpose of the CONCUR …
Validation of Stochastic Systems
E-bok,
2004,
Engelska,
ISBN 9783540246114