Klaus Becker (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8 Jürgen Avenhaus, Klaus Becker: A Framework for Operational Equational Specifications with Pre-defined Structures. J. Symb. Comput. 27(3): 271-310 (1999)

3 Jürgen Avenhaus, Klaus Becker: Operational Specifications with Built-Ins. STACS 1994: 263-274

Selection of 2 from 11 records - Klaus Becker has 33 coauthors

8		Jürgen Avenhaus, Klaus Becker: A Framework for Operational Equational Specifications with Pre-defined Structures. J. Symb. Comput. 27(3): 271-310 (1999)
3		Jürgen Avenhaus, Klaus Becker: Operational Specifications with Built-Ins. STACS 1994: 263-274