Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool.

Pierre Combes, David Harel, Hillel Kugler

Browse the full ATVA paper archive.