By Cavalcanti Ana   in Formal Methods in System Design

ISSN:0925-9856|37|2-3|93-94

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 17.086887

By Cavalcanti Ana   in Formal Aspects of Computing

ISSN:0934-5043|23|4|465-512

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 17.086887

By Miyazawa Alvaro   Cavalcanti Ana   in Formal Aspects of Computing

ISSN:0934-5043|26|2|367-405

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 13.66951