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.

A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari. A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. In Mohamed Mosbah, Michaël Rusinowitch, editors, SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia. Volume 45 of EPiC Series in Computing, pages 107-119, EasyChair, 2017. [doi]

Authors

Hiba Ouni

This author has not been identified. Look up 'Hiba Ouni' in Google

Kais Klai

This author has not been identified. Look up 'Kais Klai' in Google

Chiheb Ameur Abid

This author has not been identified. It may be one of the following persons: Look up 'Chiheb Ameur Abid' in Google

Belhassen Zouari

This author has not been identified. Look up 'Belhassen Zouari' in Google
runs on