Marcel Vinicius Medeiros Oliveira (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira: Formal Specification of a Cardiac Pacing System. FM 2009: 692-707

Selection of 1 from 4 records - Marcel Vinicius Medeiros Oliveira has 9 coauthors