Modelling the GSM handover protocol in commUnity

C. Oliveira, J.L. Fiadeiro, M. Wermelinger, A. Lopes

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	3-25
Number of pages	23
Journal	Electronic Notes in Theoretical Computer Science
Volume	141
Issue number	3
DOIs	https://doi.org/10.1016/j.entcs.2005.06.031
Publication status	Published - 1 Dec 2005

Access to Document

@article{ab51a6f5ee594ebdaeb1fe4e6c5a5083,

title = "Modelling the GSM handover protocol in commUnity",

author = "C. Oliveira and J.L. Fiadeiro and M. Wermelinger and A. Lopes",

year = "2005",

month = dec,

day = "1",

doi = "10.1016/j.entcs.2005.06.031",

language = "English",

volume = "141",

pages = "3--25",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Modelling the GSM handover protocol in commUnity

AU - Oliveira, C.

AU - Fiadeiro, J.L.

AU - Wermelinger, M.

AU - Lopes, A.

PY - 2005/12/1

Y1 - 2005/12/1

UR - http://www.scopus.com/inward/record.url?scp=27944488653&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2005.06.031

DO - 10.1016/j.entcs.2005.06.031

M3 - Article

AN - SCOPUS:27944488653

SN - 1571-0661

VL - 141

SP - 3

EP - 25

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

ER -