Validation of Stochastic Systems: A Guide to Current Research

Author: Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2004
Page: 470
ISBN: 3540222650,9783540222651,9783540246114
File Type: pdf
File Size: 5.2 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book