Publikationen

In: Forum on specification & Design Languages. Forum on Specification & Design Languages (FDL) September 14-16 Bremen Germany 2016.

In: Proceedimgs of the 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS). ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS-2016) October 2-7 Saint-Malo France 2016.

In: 12th International Workshop on Boolean Problems. International Workshop on Boolean Problems (IWSBP-12) September 22-23 Freiberg Germany 2016.

In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35) November 7-10 Austin United States 2016.

In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD) November 7-10 Austin United States 2016.

In: 8th Conference on Reversible Computation. Reversible Computation (RC) 2016.

In: 25th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-25) June 10-11 Austin United States 2016.

In: Problems and New Solutions in the Boolean Domain. Seiten 327-341 Cambridge Scholars Publishing 2016.

Springer 2016.

Springer International Publishing 2016.