Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de Scuola IMT Alti Studi Lucca](/img/noimage_org.png)
Scuola IMT Alti Studi Lucca
Lucca, ItaliaPublicaciones en colaboración con investigadores/as de Scuola IMT Alti Studi Lucca (1)
2014
-
Axiomatizing weak simulation semantics over BCCSP
Theoretical Computer Science, Vol. 537, Núm. C, pp. 42-71