SPECTA: A Formal Specification Language for Content Transfer Algorithms

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014)
Publisher	IEEE Computer Society Institute of Electrical and Electronic Engineers
Pages	1–4
ISBN (Print)	9781479947850
DOIs	https://doi.org/10.1109/WoWMoM.2014.6919017
Publication status	Published - 2014
MoE publication type	A4 Article in a conference publication
Event	conference; 2014-06-16; 2014-06-19 - Sydney, Australia Duration: 16 Jun 2014 → 19 Jun 2014

Conference	conference; 2014-06-16; 2014-06-19
Period	16/06/14 → 19/06/14

Access to Document

@inproceedings{dcb104a3ce574be8aca43d5ff59284ed,

title = "SPECTA: A Formal Specification Language for Content Transfer Algorithms",

author = "Petter Sandvik",

year = "2014",

doi = "10.1109/WoWMoM.2014.6919017",

language = "Odefinierat/ok{\"a}nt",

isbn = "9781479947850",

pages = "1–4",

booktitle = "The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014)",

publisher = "IEEE Computer Society Institute of Electrical and Electronic Engineers",

note = "conference; 2014-06-16; 2014-06-19 ; Conference date: 16-06-2014 Through 19-06-2014",

}

Sandvik, P 2014, SPECTA: A Formal Specification Language for Content Transfer Algorithms. in The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014). IEEE Computer Society Institute of Electrical and Electronic Engineers, pp. 1–4, conference; 2014-06-16; 2014-06-19, 16/06/14. https://doi.org/10.1109/WoWMoM.2014.6919017

SPECTA: A Formal Specification Language for Content Transfer Algorithms. / Sandvik, Petter.
The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014). IEEE Computer Society Institute of Electrical and Electronic Engineers, 2014. p. 1–4.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - SPECTA: A Formal Specification Language for Content Transfer Algorithms

AU - Sandvik, Petter

PY - 2014

Y1 - 2014

U2 - 10.1109/WoWMoM.2014.6919017

DO - 10.1109/WoWMoM.2014.6919017

M3 - Konferensbidrag

SN - 9781479947850

SP - 1

EP - 4

BT - The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014)

PB - IEEE Computer Society Institute of Electrical and Electronic Engineers

T2 - conference; 2014-06-16; 2014-06-19

Y2 - 16 June 2014 through 19 June 2014

ER -