By Braberman V.   Olivero A.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|52|3|1-19

Elsevier‎(2004)‎

Access to resources Favorite 13.996475

By Braberman V.   Olivero A.   Schapachnik F.   in Formal Methods in System Design

ISSN:0925-9856|29|2|197-214

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 10.260538