Model-Based Verification Methods and Tools (Abstract).

Jean-Claude Fernandez Joseph Sifakis Robert de Simone Model-Based Verification Methods and Tools (Abstract). 64 1994 conf/concur/1994 CONCUR db/conf/concur/concur1994.html#FernandezSS94 http://dx.doi.org/10.1007/BFb0014998