CEC

Bertling, Hubert; Ganzinger, Harald; Baumeister, Hubert

doi:10.1007/BFb0039629

CEC

Hubert Bertling¹,
Harald Ganzinger¹ &
Hubert Baumeister¹

Systems Demonstrations
Conference paper
First Online: 01 January 2005

127 Accesses
1 Citations

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 247))

This is a preview of subscription content, log in via an institution.

Author information

Authors and Affiliations

Universität Dortmund Informatik V, Postfach 50 05 00, 4600, Dortmund 50
Hubert Bertling, Harald Ganzinger & Hubert Baumeister

Authors

Hubert Bertling
View author publications
You can also search for this author in PubMed Google Scholar
Harald Ganzinger
View author publications
You can also search for this author in PubMed Google Scholar
Hubert Baumeister
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Franz J. Brandenburg Guy Vidal-Naquet Martin Wirsing

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Bertling, H., Ganzinger, H., Baumeister, H. (1987). CEC. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039629

Download citation

DOI: https://doi.org/10.1007/BFb0039629
Published: 09 June 2005
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17219-2
Online ISBN: 978-3-540-47419-7
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics