Embedded network protocols for mobile devices

Research output: Contribution to Journal › Article › Academic › peer-review

295 Downloads (Pure)

Original language	English
Pages (from-to)	164-179
Journal	Lecture Notes in Computer Science
Volume	6371
DOIs	https://doi.org/10.1007/978-3-642-15898-8_11
Publication status	Published - 2010

Proceedings title: Proc. 15th Workshop on Formal Methods for Industrial Critical Systems - FMICS'10
Publisher: Springer

Access to Document

@article{2b550b1fd7f04324911d2c8a20d27437,

title = "Embedded network protocols for mobile devices",

author = "D. Galataki and A. Radulescu and K. Verstoep and W.J. Fokkink",

note = "Proceedings title: Proc. 15th Workshop on Formal Methods for Industrial Critical Systems - FMICS'10 Publisher: Springer",

year = "2010",

doi = "10.1007/978-3-642-15898-8\_11",

language = "English",

volume = "6371",

pages = "164--179",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Embedded network protocols for mobile devices

AU - Galataki, D.

AU - Radulescu, A.

AU - Verstoep, K.

AU - Fokkink, W.J.

N1 - Proceedings title: Proc. 15th Workshop on Formal Methods for Industrial Critical Systems - FMICS'10 Publisher: Springer

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-15898-8_11

DO - 10.1007/978-3-642-15898-8_11

M3 - Article

SN - 0302-9743

VL - 6371

SP - 164

EP - 179

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -