Journal Acta Informatica
From CERES
A list of all pages that have property "Journal" with value "Acta Informatica"
- Publications:Lifting non-finite axiomatizability results to extensions of process algebras +
- Publications:Symmetry and partial order reduction techniques in model checking Rebeca +
