D. Zampuniéris

List of publications from the DBLP Bibliography Server - FAQ

1995

2 François Gagnon, Jean-Charles Grégoire, D. Zampuniéris: Sharing Trees for "on-the-fly" Verification. FORTE 1995: 417-432

1 D. Zampuniéris, Baudouin Le Charlier: An Efficient Algorithm to Compute the Synchronized Product. MASCOTS 1995: 77-81

1995
2		François Gagnon, Jean-Charles Grégoire, D. Zampuniéris: Sharing Trees for "on-the-fly" Verification. FORTE 1995: 417-432
1		D. Zampuniéris, Baudouin Le Charlier: An Efficient Algorithm to Compute the Synchronized Product. MASCOTS 1995: 77-81

Coauthor Index