SPECTA: A Formal Specification Language for Content Transfer Algorithms

Petter Sandvik

doi:10.1109/WoWMoM.2014.6919017

SPECTA: A Formal Specification Language for Content Transfer Algorithms

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014)
Kustantaja	IEEE Computer Society Institute of Electrical and Electronic Engineers
Sivut	1–4
ISBN (painettu)	9781479947850
DOI - pysyväislinkit	https://doi.org/10.1109/WoWMoM.2014.6919017
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-06-16; 2014-06-19 - Sydney, Australia Kesto: 16 kesäk. 2014 → 19 kesäk. 2014

Konferenssi

Konferenssi	conference; 2014-06-16; 2014-06-19
Ajanjakso	16/06/14 → 19/06/14

Pääsy asiakirjaan

10.1109/WoWMoM.2014.6919017

Viittausmuodot

@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 = "null ; Conference date: 16-06-2014 Through 19-06-2014",

}

Sandvik, P 2014, SPECTA: A Formal Specification Language for Content Transfer Algorithms. julkaisussa 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, Sivut 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. s. 1–4.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

Y2 - 16 June 2014 through 19 June 2014

ER -