EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Thiagarajan, P.S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2007

Remke, A.K.I. and Haverkort, B.R.H.M. (2007) CSL Model Checking Algorithms for Infinite-state Structured Markov chains. In: 5th International Conference, FORMATS 2007, 3-5 Oct 2007, Salzburg. pp. 336-351. Lecture Notes in Computer Science 4763. Springer Verlag. ISBN 978-3-540-75453-4

1999

den Hartog, J.I. (1999) Verifying Probabilistic Programs Using a Hoare like Logic. In: 5th Asian Conference on Advances in Computing Science (ASIAN '99), December 10-12, 1999, Phuket, Thailand. pp. 113-125. Lecture notes in computer science 1742. Springer-Verlag. ISSN 0302-9743 ISBN 9783540668565

This list was generated on Mon Mar 27 08:21:52 CEST 2017.