Anzahl der Einträge: 1.
1998
Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili
On the Semantic Foundations of Probabilistic VERUS.
Proceedings / Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, IN, USA , Juni
7-32
In: Proceedings / 1st Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, Ind., USA
(1998)
Trier
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Thu May 2 03:22:35 2024 CEST automatisch erstellt.