Probabilistic modal specifications (invited extended abstract)

Kim G. Larsen, Axel Legay*

*Kontaktforfatter

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

Fingeraftryk

Dyk ned i forskningsemnerne om 'Probabilistic modal specifications (invited extended abstract)'. Sammen danner de et unikt fingeraftryk.

Computer Science