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.

ProB2-UI: A Java-Based User Interface for ProB

Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth. ProB2-UI: A Java-Based User Interface for ProB. In Alberto Lluch-Lafuente, Anastasia Mavridou, editors, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12863 of Lecture Notes in Computer Science, pages 193-201, Springer, 2021. [doi]

Authors

Jens Bendisposto

This author has not been identified. Look up 'Jens Bendisposto' in Google

David Geleßus

This author has not been identified. Look up 'David Geleßus' in Google

Yumiko Jansing

This author has not been identified. Look up 'Yumiko Jansing' in Google

Michael Leuschel

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

Antonia Pütz

This author has not been identified. Look up 'Antonia Pütz' in Google

Fabian Vu

This author has not been identified. Look up 'Fabian Vu' in Google

Michelle Werth

This author has not been identified. Look up 'Michelle Werth' in Google
runs on