Publications

Export 4 results:
Filters: Author is E. Clarke  [Clear All Filters]
2012
Studer, T.: Justified Terminological Reasoning. In: Clarke, E.E., Virbitskaite, I., and Voronkov, A. Proceedings of Perspectives of System Informatics PSI'11. pp. 349-361. Springer (2012).
1997
Clarke, E.E., Fujita, M., Heinle, W.: Hybrid spectral transform diagrams. In: Han, Y., Okamoto, T., and Qing, S. Proceedings of the International Conference on Information and Communications Security. pp. 251-255. Springer (1997).
Clarke, E.E., Fujita, M., Heinle, W.: Hybrid spectral transform diagrams. (1997).
Clarke, E.E., Heinle, W., Schlingloff, H.: Model checking. In: Robinson, A. and Voronkov, A. Handbook of Automated Reasoning. pp. 1635-1790. Elsevier Science (1997).