The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Thomas Neele, Antti Valmari, Tim A.C. Willemse

EAISI High Tech Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

1 results
- Title(descending)
- Award date

EATCS Best Paper Award
Neele, T. (Recipient), Valmari, A. (Recipient) & Willemse, T. A. C. (Recipient), 2 Jul 2020
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific