Result: Symmetric and efficient synthesis

*Title*:

Symmetric and efficient synthesis / Rüdiger Ehlers. Betreuer: Bernd Finkbeiner

*Author/editor-in-chief*:

*Publication*:

Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

Dissertation, Universität des Saarlandes, Saarbrücken, 2013

*Subject Added Keywords*:

*Result*: Symmetric and efficient synthesis