Martin Kardos (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Holger Giese, Martin Kardos, Ulrich Nickel: Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES 2002: 71-80

Selection of 1 from 8 records - Martin Kardos has 6 coauthors