News
programma [InfQ - Informatica Quantitativa]
www.infq.it
Ashanka Das, Mauro Pellicioli, Marco Gribaudo, Giuseppe Serazzi (Politecnico di Milano). Analytical Modelling of Commit-Time-Locking Algorithms for Software ...
sortiert nach Relevanz / Datum