Modelling the GSM handover protocol in commUnity. / Oliveira, C.; Fiadeiro, J.L.; Wermelinger, M.; Lopes, A.

In: Electronic Notes in Theoretical Computer Science, Vol. 141, No. 3, 01.12.2005, p. 3-25.

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)3-25
Number of pages23
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - 1 Dec 2005
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7189297