A lazy synchronous calculus of fully probabilistic processes

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

Activity: Talk or presentation › Oral presentation

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

Keywords

  • METIS-121480

Documents & Links