Skip to content Skip to footer

Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Date

21 Aug 2021

Conference

Title32nd International Conference on Concurrency Theory
Abbreviated titleCONCUR 2021
Duration23 - 27 August 2021
Website
Degree of recognitionInternational event
Locationonline
CityParis
CountryFrance

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis