VIVO
English (United States)
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
PrIC3: Property Directed Reachability for MDPs
Chapter
Overview
Identity
View All
Overview
publication date
2020
Identity
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-030-53291-8_27
share the URI for this profile
view profile in RDF format
close
Posted by
1
X users
4
readers on Mendeley
See more details
