Synthesis of succinct systems
Autor: | Fearnley, John, Peled, Doron, Schewe, Sven |
---|---|
Zdroj: | In Journal of Computer and System Sciences November 2015 81(7):1171-1193 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Fearnley, John, Peled, Doron, Schewe, Sven |
---|---|
Zdroj: | In Journal of Computer and System Sciences November 2015 81(7):1171-1193 |
Databáze: | ScienceDirect |
Externí odkaz: |