Model checking constrained markov reward models with uncertainties

Giovanni Bacci*, Mikkel Hansen, Kim Guldstrand Larsen

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

2 Citationer (Scopus)
46 Downloads (Pure)
  • 1 Konferenceoplæg
Filter
Konferenceoplæg

Søgeresultater