Tim Willemse · 2 obras en el catálogoObrasFormal Methods for Industrial Critical SystemsSSemantics and verification in process algebras with data andSemantics and verification in process algebras with data and timing
SSemantics and verification in process algebras with data andSemantics and verification in process algebras with data and timing
