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.

Family-based model checking of fMultiLTL properties

Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay. Family-based model checking of fMultiLTL properties. In Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali 0001, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki, editors, Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. pages 41-51, ACM, 2023. [doi]

Authors

Aleksandar S. Dimovski

This author has not been identified. Look up 'Aleksandar S. Dimovski' in Google

Sami Lazreg

This author has not been identified. Look up 'Sami Lazreg' in Google

Maxime Cordy

This author has not been identified. Look up 'Maxime Cordy' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google
runs on