Scuola IMT Alti Studi Lucca-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2014

  1. Axiomatizing weak simulation semantics over BCCSP

    Theoretical Computer Science, Vol. 537, Núm. C, pp. 42-71