(1 - 9 von 9
)
NFM 2018: NASA Formal Methods Symposium, Apr
resources.illc.uva.nl
Incremental Construction of Realizable Choreographies * César Augusto Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, and Virginie Wiels. › newsitem
sortiert nach Relevanz / Datum