HomeIsabelle/Phabricator

new entry: Extended Finite State Machines

Description

new entry: Extended Finite State Machines

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPabf1c421946b: sitegen for Inductive_Inference
Branches
Unknown
Tags
Unknown