Toggle navigation
Home
People
Departments
Research
About
Login
Search
Modeling, refining and analyzing Incomplete Büchi Automata
Preprints
Overview
Research
Identity
View All
Overview
authors
Menghi, Claudio
Spoletini, Paola
Ghezzi, Carlo
publication date
September 2, 2016
Research
keywords
46 Information and Computing Sciences
4612 Software Engineering
Identity
Digital Object Identifier (DOI)
10.48550/arxiv.1609.00610