SSemantics and verification in process algebras with data andSemantics and verification in process algebras with data and timingde Tim WillemseEdiciones (1)Semantics and verification in process algebras with data and timing (2003)inglésMás obras de Tim WillemseFormal Methods for Industrial Critical SystemsVer todas las obras de Tim Willemse →
