Anzahl der Einträge: 1.
|
Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena
Comparative Branching Time Semantics for Markov Chains.
Amadio, Roberto M.
Lecture Notes in Computer Science
2761
492-507
In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings
(2003)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Fri Apr 19 01:13:21 2024 CEST automatisch erstellt.
