EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

7858 Validation of Stochastic Systems

Home Policy Brochure Browse Search User Area Contact Help

Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed. (2004) Validation of Stochastic Systems. Lecture Notes in Computer Science 2925. Springer-Verlag. ISBN 3-540-22265-0

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
114 Kb

Official URL: http://dx.doi.org/10.1007/b98484

Item Type:	Book
Research Group:	EWI-DACS: Design and Analysis of Communication Systems, EWI-FMT: Formal Methods and Tools
Research Program:	CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Additional Information:	Imported from research group DACS (ID number 420)
ID Code:	7858
Status:	Published
Deposited On:	21 August 2007
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item