EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

8964 CASPA: Symbolic Model Checking of Stochastic Systems

Home Policy Brochure Browse Search User Area Contact Help

Kuntz, G.W.M. and Siegle, M. (2006) CASPA: Symbolic Model Checking of Stochastic Systems. In: Proceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 465-468. VDE Verlag. ISBN 3-800-72945-8

Full text not available from this repository.

Item Type:	Conference or Workshop Paper (Extended Abstract, Talk)
Research Group:	EWI-DACS: Design and Analysis of Communication Systems
Research Program:	CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Research Project:	veriGEM: A Verification Grid for Enhanced Model Checking
ID Code:	8964
Status:	Published
Deposited On:	24 January 2007
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item