Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

Authors:
Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen;Markus Siegle
Affiliations:
-;-;-;-;-
Venue:
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)
Year:
2004

A note on the attractor-property of infinite-state Markov chain

Information Processing Letters
Structured analysis techniques for large Markov chains

SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Partial order reduction for markov decision processes: a survey

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Quantitative reactive modeling and verification

Computer Science - Research and Development

Hi-index	0.00