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 Quantitative Partial Model-Checking Function and Its Optimisation

Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini. A Quantitative Partial Model-Checking Function and Its Optimisation. In Thomas Eiter, David Sands, editors, LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017. Volume 46 of EPiC Series, pages 319-337, EasyChair, 2017. [doi]

Authors

Stefano Bistarelli

This author has not been identified. Look up 'Stefano Bistarelli' in Google

Fabio Martinelli

This author has not been identified. Look up 'Fabio Martinelli' in Google

Ilaria Matteucci

This author has not been identified. Look up 'Ilaria Matteucci' in Google

Francesco Santini

This author has not been identified. Look up 'Francesco Santini' in Google
runs on