"On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time ..."

Borzoo Bonakdarpour, Sandeep S. Kulkarni (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics