Treffer: Symmetric and efficient synthesis
Titel:
Symmetric and efficient synthesis / Rüdiger Ehlers. Betreuer: Bernd Finkbeiner
Veröffentlicht:
Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Universität des Saarlandes, Saarbrücken, 2013
Schlagworte: