Stephan Kleuker (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Stephan Kleuker, Hermann Tjabben: The Incremental Development of Correct Specifications for Distributed Systems. FME 1996: 479-498

Selection of 1 from 8 records - Stephan Kleuker has 1 coauthors