Page 2 of 2.
Mathias Soeken; Nabila Abdessaied; Rolf Drechsler
In: International Workshop on Boolean Problems - Proceedings. International Workshop on Boolean Problems (IWSBP-14), 11th, September 17-19, Freiberg, …
Mathias Soeken; Christopher B. Harris; Nabila Abdessaied; Ian G. Harris; Rolf Drechsler
In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, 2014.
Mathias Soeken; Nabila Abdessaied; Arman Allahyari-Abhari; Andi Buzo; Liana Musat; Georg Pelz; Rolf Drechsler
In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), Special Session at the Forum on …
Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler
In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …
In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS), Pages 328-333, …
Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler
In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC), Pages 221-233, …
In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …