Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.

Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager

Browse the full ISoLA paper archive.