Advanced Search
Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0

Citation

Order by: Document Type | Year of publication | No order
Skip to: Conference or workshop publication
Number of items: 1.

Conference or workshop publication

Baier, Christel ; Kwiatkowska, Marta ; Norman, Gethin Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains. Baier, Christel Electronic Notes in Theoretical Computer Science : ENTCS 22 In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification : proceedings (1999) Amsterdam [u.a.] [Conference or workshop publication]

This list was created automatically on Fri Mar 13 05:58:21 2026 CET