External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis

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]

Authors

Truc L. Nguyen

This author has not been identified. Look up 'Truc L. Nguyen' in Google

Bernd Fischer 0002

This author has not been identified. It may be one of the following persons: Look up 'Bernd Fischer 0002' in Google

Salvatore La Torre

This author has not been identified. Look up 'Salvatore La Torre' in Google

Gennaro Parlato

This author has not been identified. Look up 'Gennaro Parlato' in Google
runs on