Package de.learnlib.example

This package (including sub-packages) contains example models of various types used in integration-tests.