The Quantitative Linear-Time–Branching-Time Spectrum

Claus Thrane, Uli Fahrenberg, Axel Legay

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

26 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'The Quantitative Linear-Time–Branching-Time Spectrum'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science