Marcel Verhoef (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Martijn Hendriks, Marcel Verhoef: Timed automata based analysis of embedded system architectures. IPDPS 2006

Selection of 1 from 10 records - Marcel Verhoef has 17 coauthors