dblp.uni-trier.dewww.uni-trier.de

Marc Solé

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Enric Pastor [1] [2] [3]
2Marco A. Peña [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)