By Carloni Luca   Sangiovanni-Vincentelli Alberto   in Formal Methods in System Design

ISSN:0925-9856|28|2|93-110

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 12.271137

By Bonivento Alvise   Carloni Luca   Sangiovanni-Vincentelli Alberto   in Mobile Networks and Applications

ISSN:1383-469X|11|4|469-485

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 10.383027