( en | de | ru )

 

Disambiguierung von "Andrianov, Pavel S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).

, , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 355-359. (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vladislav Andrianov

Ivan Andrianov

Nikolai Andrianov

Dietrich Pavel

Wieland Werther Pavel

 

Weitere Publikationen von Autoren mit dem selben Namen

CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 355-359. (2017)cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution)., , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 423-427. Springer, (2021)Scalable Thread-Modular Approach for Data Race Detection., und . FISEE, Volume 12271 von Lecture Notes in Computer Science, Seite 371-385. Springer, (2019)CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution)., , , und . TACAS (2), Volume 10806 von Lecture Notes in Computer Science, Seite 427-431. Springer, (2018)