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
Symposium
| Title | 34th Annual ACM/IEEE Symposium on Logic in Computer Science |
|---|---|
| Abbreviated title | LICS 2019 |
| Conference number | 34 |
| Duration | 24 - 27 June 2019 |
| Website | |
| Degree of recognition | International event |
| City | Vancouver |
| Country | Canada |