Specification, detection and resolution of IN feature interactions with Estelle.

Jan Bredereke, Reinhard Gotzhein

Browse the full FORTE paper archive.