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]
Abstract is missing.