Preprint
Modeling, refining and analyzing Incomplete Büchi Automata
Abstract
Software development is an iterative process which includes a set of
development steps that transform the initial high level specification of the
Authors
Menghi C; Spoletini P; Ghezzi C
Publication date
September 2, 2016
DOI
10.48550/arxiv.1609.00610
Preprint server
arXiv