Automatic Analysis and Verification of MSC-Specified Telecommunication System.

Lyudmila Matvyeyeva, Sergiy Kryvyy, Mariya Lopatina

Browse the full ICINCO paper archive.