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 |
Externí odkaz: |
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 |
Externí odkaz: |