Long-run Satisfaction of Path Properties
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
Date
27 Jun 2019
Description
Speaker: Jakob PiribauerEvent: Logic in Computer Science (LICS’19)
Inviting institution: Simon Fraser University
Location: Vancouver
Country: Kanada
Duration of event: 27.06.2019-27.06.2019
Conference
| Title | 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 |
|---|---|
| Duration | 24 - 27 June 2019 |
| City | Vancouver |
| Country | Canada |