Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. In Amr El Abbadi, Benoît Garbinato, editors, Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Volume 10299 of Lecture Notes in Computer Science, pages 255-271, 2017. [doi]
@inproceedings{Nguyen0TP17,
title = {Concurrent Program Verification with Lazy Sequentialization and Interval Analysis},
author = {Truc L. Nguyen and Bernd Fischer 0002 and Salvatore La Torre and Gennaro Parlato},
year = {2017},
doi = {10.1007/978-3-319-59647-1_20},
url = {https://doi.org/10.1007/978-3-319-59647-1_20},
researchr = {https://researchr.org/publication/Nguyen0TP17},
cites = {0},
citedby = {0},
pages = {255-271},
booktitle = {Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings},
editor = {Amr El Abbadi and Benoît Garbinato},
volume = {10299},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-59647-1},
}