Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Verifying The Correct Composition Of Distributed Components: Formalisation And Tool | 1 | 0.36 | 2015 |
| Timed-pNets: a communication behavioural semantic model for distributed systems. | 3 | 0.40 | 2015 |
| Un système d'aide à la preuve de compilateurs | 3 | 0.51 | 1984 |