Refusal Testing for Classes of Transition Systems with Inputs and Outputs.

Lex Heerink, Jan Tretmans

Browse the full FORTE paper archive.