Anzahl der Einträge: 4.
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]
|
|
Fecher, Harald ; Majster-Cederbaum, Mila ; Wu, Jinzhao
Action Refinement for Probabilistic Processes with True Concurrency.
Hermanns, Holger
Lecture Notes in Computer Science
2399
77-94
In: Process algebra and probabilistic methods : performance modeling and verification; second Joint International Workshop PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002; proceedings
(2002)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Baier, Christel ; Hermanns, Holger
Weak Bisimulation for Fully Probabilistic Processes.
Grumberg, Orna
Lecture Notes in Computer Science
1254
119-130
In: Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997; proceedings
(1997)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sat Aug 17 01:18:20 2024 CEST automatisch erstellt.
|