HomeIsabelle/Phabricator

added transition acceptance automata

Description

added transition acceptance automata

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFPd00ccc5a880c: adjusted acceptance conditions
Branches
Unknown
Tags
Unknown