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.

Model checking and synthesis for branching multi-weighted logics

Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba. Model checking and synthesis for branching multi-weighted logics. Journal of Logic and Algebraic Programming, 105:28-46, 2019. [doi]

Authors

Lasse S. Jensen

This author has not been identified. Look up 'Lasse S. Jensen' in Google

Isabella Kaufmann

This author has not been identified. Look up 'Isabella Kaufmann' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google

Søren M. Nielsen

This author has not been identified. Look up 'Søren M. Nielsen' in Google

Jirí Srba

This author has not been identified. Look up 'Jirí Srba' in Google
runs on