Anzahl der Einträge: 1.
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 Fri Apr 19 01:27:02 2024 CEST automatisch erstellt.
