Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Anzahl der Einträge: 1.

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.] [Konferenzveröffentlichung]

Diese Liste wurde am Thu Nov 21 01:24:30 2024 CET automatisch erstellt.