Publikationen

PBMC: Symbolic Slicing for the Verification of Concurrent Programs

AutorSaissi, Habib; Bokor, Peter; Suri, Neeraj
Datum2015
ArtConference Proceedings
InProceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015
SchlüsselTUD-CS-2015-0118
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/101699