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.

Modal transition system encoding of featured transition systems

Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi. Modal transition system encoding of featured transition systems. Journal of Logic and Algebraic Programming, 106:1-28, 2019. [doi]

Authors

Mahsa Varshosaz

This author has not been identified. Look up 'Mahsa Varshosaz' in Google

Lars Luthmann

This author has not been identified. Look up 'Lars Luthmann' in Google

Paul Mohr

This author has not been identified. Look up 'Paul Mohr' in Google

Malte Lochau

This author has not been identified. Look up 'Malte Lochau' in Google

Mohammad Reza Mousavi

This author has not been identified. Look up 'Mohammad Reza Mousavi' in Google
runs on