Publikationen

Zeige Ergebnisse 1 bis 10 von 18

In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS) Seiten 328-333 IEEE 2013.

Zur Publikation

In: 16. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen". ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-13) 16. March 12-14 Rostock Germany 2013.

Zur Publikation

In: Proceedings of the 5th Conference on Reversible Computation. Conference on Reversible Computation (RC) 5th July 4-5 Victoria BC Canada Lecture Notes in Computer Science (LNCS) Springer 2013.

Zur Publikation

In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-13) April 8-10 Karlovy Vary Czech Republic IEEE 2013.

Zur Publikation

In: Proceedings of the 5th Conference on Reversible Computation. Conference on Reversible Computation (RC-13) 5th July 4-5 Victoria BC Canada Lecture Notes in Computer Science (LNCS) Springer 2013.

Zur Publikation

In: IEEE International Design and Test Symposium - Proceedings. IEEE International Design and Test Symposium (IDT-13) 8th IEEE International Design and Test Symposium December 16-18 Marrakesch Morocco IEEE 2013.

Zur Publikation

In: Models, Methods and Tools for Complex Chip Design. Kapitel 3 Seiten 37-52 265 ISBN 978-3-319-01417-3 Springer 2013.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence