Language
Publisher
Subjects
- All ( )
- Free, open source ( )
3Result(s)for '"Cavalcanti Ana"'
Resource list
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