Peter van Eijk (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

4 Peter van Eijk, Harro Kremer, Marten van Sinderen: On the use of specification styles for automated protocol implementation from LOTOS to C. PSTV 1990: 157-168

Selection of 1 from 8 records - Peter van Eijk has 6 coauthors