In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), 43rd, May 22-24, Toyama, Japan, IEEE, 2013.
Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler
In: 8th International Workshop on Automation of Software Test . International Workshop on Automation of Software Test (AST-13), 8th, May 18-19, San Francisco, USA, IEEE, 2013.
Oliver Keszöcze; Mathias Soeken; Eugen Kuska; Rolf Drechsler
In: Workshop on Natural Language Analysis in Software Engineering. Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE-13), May 25, San Francisco, CA, USA, 2013.
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.
Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler
In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July 4-5, Victoria, BC, Canada, Lecture Notes in Computer Science (LNCS), Springer, 2013.
Robert Wille; Mathias Soeken; D. Michael Miller; Rolf Drechsler
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.
Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler
In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS), Pages 328-333, IEEE, 2013.
Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler
In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC), Pages 221-233, Springer, 2013.
