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