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.

Analyzing Spreadsheets for Parallel Execution via Model Checking

Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen. Analyzing Spreadsheets for Parallel Execution via Model Checking. In Tiziana Margaria, Susanne Graf, Kim G. Larsen, editors, Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Volume 11200 of Lecture Notes in Computer Science, pages 27-35, Springer, 2018. [doi]

Authors

Thomas Bøgholm

This author has not been identified. Look up 'Thomas Bøgholm' in Google

Kim G. Larsen

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

Marco Muñiz

This author has not been identified. Look up 'Marco Muñiz' in Google

Bent Thomsen

This author has not been identified. Look up 'Bent Thomsen' in Google

Lone Leth Thomsen

This author has not been identified. Look up 'Lone Leth Thomsen' in Google
runs on