MOMENTAN AUSVERKAUFT

Approximate bounded synthesis for distributed systems von Olena A. Kapustian, Oleksiy V. Kapustyan und Anna V. Sukretna (2013, Taschenbuch)