Publikationen

Zeige Ergebnisse 1 bis 10 von 14

In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) Special Session at the Forum on Specification & Design Languages October 14-16 Munich Germany 2014.

Zur Publikation

In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 2014.

Zur Publikation

In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 München Germany o.A. 2014.

Zur Publikation

In: International Workshop on Boolean Problems - Proceedings. International Workshop on Boolean Problems (IWSBP-14) 11th September 17-19 Freiberg Germany 2014.

Zur Publikation

In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14) May 13-15 Warschau Poland VDE 2014.

Zur Publikation

In: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012. Seiten 37-52 Springer 2014.

Zur Publikation

In: International Conference on Tests & Proofs- Proceedings. International Conference on Test & Proofs (TAP-14) 8th July 24-25 York United Kingdom 2014.

Zur Publikation

In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop April 14-14 Berlin Germany Seiten 4-7 4/2014.

Zur Publikation

In: Conference on Reversible Computation - Proceedings. Conference on Reversible Computation (RC-14) 6th Conference on Reversible Computation July 10-11 Kyoto Japan Springer 2014.

Zur Publikation

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