Toggle navigation
Home
People
Departments
Research
About
Login
Search
From model checking to a temporal proof for partial models: preliminary example
Preprints
Overview
Research
Identity
View All
Overview
authors
Bernasconi, A
Menghi, Claudio
Spoletini, P
Zuck, LD
Ghezzi, C
publication date
June 8, 2017
Research
keywords
46 Information and Computing Sciences
4613 Theory Of Computation
Identity
Digital Object Identifier (DOI)
10.48550/arxiv.1706.02701