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 Mechanised Proof of an Adaptive State Counting Algorithm

Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska 0001. A Mechanised Proof of an Adaptive State Counting Algorithm. In Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall, editors, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Volume 11812 of Lecture Notes in Computer Science, pages 176-193, Springer, 2019. [doi]

Authors

Robert Sachtleben

This author has not been identified. Look up 'Robert Sachtleben' in Google

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Wen-ling Huang

This author has not been identified. Look up 'Wen-ling Huang' in Google

Jan Peleska 0001

This author has not been identified. Look up 'Jan Peleska 0001' in Google
runs on