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.

Minimal Coverability Tree Construction Made Complete and Efficient

Alain Finkel, Serge Haddad, Igor Khmelnitsky. Minimal Coverability Tree Construction Made Complete and Efficient. In Jean Goubault-Larrecq, Barbara König 0001, editors, Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Volume 12077 of Lecture Notes in Computer Science, pages 237-256, Springer, 2020. [doi]

Authors

Alain Finkel

This author has not been identified. Look up 'Alain Finkel' in Google

Serge Haddad

This author has not been identified. Look up 'Serge Haddad' in Google

Igor Khmelnitsky

This author has not been identified. Look up 'Igor Khmelnitsky' in Google
runs on