Test Generation for Intelligent Networks Using Model Checking.

Andr Engels, Loe M. G. Feijs, Sjouke Mauw

Browse the full TACAS paper archive.