By Holzmann Gerard   in Formal Aspects of Computing

ISSN:0934-5043|23|3|365-389

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 19.139652

By Holzmann Gerard   in Innovations in Systems and Software Engineering

ISSN:1614-5046|6|4|311-318

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 19.139652