Travelled to:1 × Portugal
1 × United Kingdom
Collaborated with:J.Carmona E.Pastor M.A.Peña
Talks about:discoveri (1) asynchron (1) algorithm (1) transyt (1) concurr (1) system (1) verif (1) amend (1) tool (1) net (1)
Person: Marc Solé
DBLP: Sol=eacute=:Marc
Contributed to:
2013
2005Wrote 2 papers:
- SAC-2013-SoleC #algorithm
- Amending C-net discovery algorithms (MS, JC), pp. 1418–1425.
- CAV-2005-PastorPS #concurrent #named #verification
- TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems (EP, MAP, MS), pp. 424–428.