HomeIsabelle/Phabricator
Diffusion afp-devel 83c109099c9b

added NGBA implementations
83c109099c9b
Actions

Description

added NGBA implementations

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFPa0ad86208e23: adjusted NBA implementation
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP83c109099c9b: added NGBA implementations.Oct 8 2019, 4:39 PM

Changes (8)

PathSize

rAFP83c109099c9b

View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NGBA_Algorithms.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NGBA_Implement.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NGBA_Refine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/ROOT

Loading...