Verification of a wireless ATM medium-access protocol

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

2 Citations (Scopus)

Original language	English
Title of host publication	Proceedings Seventh Asia-Pacific Software Engineering Conference (APSEC 2000, Singapore, December 5-8, 2000)
Editors	F. Titsworth
Publisher	IEEE Computer Society
Pages	84-91
ISBN (Print)	0-7695-0915-0
DOIs	https://doi.org/10.1109/APSEC.2000.896686
Publication status	Published - 2000

Access to Document

@inproceedings{df93a7561c714714860852e3a47e325f,

title = "Verification of a wireless ATM medium-access protocol",

author = "N. Sidorova and M. Steffen",

year = "2000",

doi = "10.1109/APSEC.2000.896686",

language = "English",

isbn = "0-7695-0915-0",

pages = "84--91",

editor = "F. Titsworth",

booktitle = "Proceedings Seventh Asia-Pacific Software Engineering Conference (APSEC 2000, Singapore, December 5-8, 2000)",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - Verification of a wireless ATM medium-access protocol

AU - Sidorova, N.

AU - Steffen, M.

PY - 2000

Y1 - 2000

U2 - 10.1109/APSEC.2000.896686

DO - 10.1109/APSEC.2000.896686

M3 - Conference contribution

SN - 0-7695-0915-0

SP - 84

EP - 91

BT - Proceedings Seventh Asia-Pacific Software Engineering Conference (APSEC 2000, Singapore, December 5-8, 2000)

A2 - Titsworth, F.

PB - IEEE Computer Society

ER -