Filter
Sökt på: christel baier
Filter
totalt 3 träffar
Validation of Stochastic Systems
häftad,
2004,
Engelska,
ISBN 9783540222651
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project …
CONCUR 2006 - Concurrency Theory
häftad,
2006,
Engelska,
ISBN 9783540373766
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 …
Tools and Algorithms for the Construction and Analysis of Systems
häftad,
2015,
Engelska,
ISBN 9783662466803
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 …