From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Analysis of Data-Dependent Programs with Dynamic Memory.

P. Abdulla, M. Atto, J. Cederberg, и R. Ji. ATVA, том 5799 из Lecture Notes in Computer Science, стр. 197-212. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

MPass: An Efficient Tool for the Analysis of Message-Passing Programs.P. Abdulla, M. Atig, J. Cederberg, S. Modi, O. Rezine, и G. Saini. FACS, том 8997 из Lecture Notes in Computer Science, стр. 198-206. Springer, (2014)Analyzing the Security in the GSM Radio Network Using Attack Jungles.P. Abdulla, J. Cederberg, и L. Kaati. ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 60-74. Springer, (2010)Monotonic Abstraction for Programs with Multiply-Linked Structures.P. Abdulla, J. Cederberg, и T. Vojnar. RP, том 6945 из Lecture Notes in Computer Science, стр. 125-138. Springer, (2011)Timed Lossy Channel Systems.P. Abdulla, M. Atig, и J. Cederberg. FSTTCS, том 18 из LIPIcs, стр. 374-386. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Analysis of Message Passing Programs Using SMT-Solvers.P. Abdulla, M. Atig, и J. Cederberg. ATVA, том 8172 из Lecture Notes in Computer Science, стр. 272-286. Springer, (2013)