Marc Solé

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

3 Enric Pastor, Marco A. Peña, Marc Solé: TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. CAV 2005: 424-428

2004

2 Marc Solé, Enric Pastor: Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. ACSD 2004: 207-216

2002

1 Marc Solé, Enric Pastor: Traversal Techniques for Concurrent Systems. FMCAD 2002: 220-237

	2005
3		Enric Pastor, Marco A. Peña, Marc Solé: TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. CAV 2005: 424-428
	2004
2		Marc Solé, Enric Pastor: Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. ACSD 2004: 207-216
	2002
1		Marc Solé, Enric Pastor: Traversal Techniques for Concurrent Systems. FMCAD 2002: 220-237

Coauthor Index

1 Enric Pastor [1] [2] [3]

2 Marco A. Peña [3]