A lazy synchronous calculus of fully probabilistic processes

Christel Baier (Keynote speaker), Holger Hermanns (Keynote speaker)

Activity: Talk or presentationOral presentation

Period23 Aug 1999
Event title2nd International Workshop on Probabilistic Methods in Verification, PROBMIV 1999
Event typeWorkshop
Conference number2
LocationEindhoven, Netherlands
Degree of RecognitionInternational

Keywords

  • METIS-121480