Anzahl der Einträge: 1.
1997
|
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 Nov 23 01:41:05 2024 CET automatisch erstellt.
