Specification Languages for Stutter-Invariant Regular Properties.

Christian Dax, Felix Klaedtke, Stefan Leue

Browse the full ATVA paper archive.