Model checking dependabiliy attributes of wireless group communication

M. Massink, Joost P. Katoen, D. Latella

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
Original languageUndefined
Title of host publication2004 international conference on dependable systems and networks (DSN'04)
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages711-720
ISBN (Print)0-7695-2052-9
Publication statusPublished - 28 Jun 2004

Keywords

  • METIS-220713

Cite this

Massink, M., Katoen, J. P., & Latella, D. (2004). Model checking dependabiliy attributes of wireless group communication. In 2004 international conference on dependable systems and networks (DSN'04) (pp. 711-720). Los Alamitos: IEEE Computer Society.
Massink, M. ; Katoen, Joost P. ; Latella, D. / Model checking dependabiliy attributes of wireless group communication. 2004 international conference on dependable systems and networks (DSN'04). Los Alamitos : IEEE Computer Society, 2004. pp. 711-720
@inproceedings{c4a9fb4205ae4b16aca3cdc0cd17d2f8,
title = "Model checking dependabiliy attributes of wireless group communication",
keywords = "METIS-220713",
author = "M. Massink and Katoen, {Joost P.} and D. Latella",
year = "2004",
month = "6",
day = "28",
language = "Undefined",
isbn = "0-7695-2052-9",
pages = "711--720",
booktitle = "2004 international conference on dependable systems and networks (DSN'04)",
publisher = "IEEE Computer Society",
address = "United States",

}

Massink, M, Katoen, JP & Latella, D 2004, Model checking dependabiliy attributes of wireless group communication. in 2004 international conference on dependable systems and networks (DSN'04). IEEE Computer Society, Los Alamitos, pp. 711-720.

Model checking dependabiliy attributes of wireless group communication. / Massink, M.; Katoen, Joost P.; Latella, D.

2004 international conference on dependable systems and networks (DSN'04). Los Alamitos : IEEE Computer Society, 2004. p. 711-720.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Model checking dependabiliy attributes of wireless group communication

AU - Massink, M.

AU - Katoen, Joost P.

AU - Latella, D.

PY - 2004/6/28

Y1 - 2004/6/28

KW - METIS-220713

M3 - Conference contribution

SN - 0-7695-2052-9

SP - 711

EP - 720

BT - 2004 international conference on dependable systems and networks (DSN'04)

PB - IEEE Computer Society

CY - Los Alamitos

ER -

Massink M, Katoen JP, Latella D. Model checking dependabiliy attributes of wireless group communication. In 2004 international conference on dependable systems and networks (DSN'04). Los Alamitos: IEEE Computer Society. 2004. p. 711-720