VIVO
Select a language
English (United States)
English (Canada)
Français (Canada)
Deutsch (Deutschland)
Español
Português (Brasil)
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Backdoors for Linear Temporal Logic
Academic Article
Overview
Identity
View All
Overview
publication date
2018
Identity
Digital Object Identifier (DOI)
https://doi.org/10.1007/s00453-018-0515-5
