On the efficiency of formal synthesis - experimental results

Autor: Blumenroehr, Christian, Eisenbiegler, Dirk, Schmid, Detlef
Jazyk: angličtina
Rok vydání: 1999
Předmět:
DOI: 10.5445/ir/101199
Databáze: OpenAIRE