Connectivity testing through model-checking

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

2 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings
Vol/bind	3235
Publikationsdato	2004
Sider	167-184
Status	Udgivet - 2004
Begivenhed	Connectivity testing through model-checking - Varighed: 19 maj 2010 → …

Konference	Connectivity testing through model-checking
Periode	19/05/2010 → …

Serie: Lecture Notes in Computer Science, 3235, 0302-9743

AUB Link

@inproceedings{599e04500dd711dcb676000ea68e967b,

title = "Connectivity testing through model-checking",

author = "J.C. Godskesen and Brian Nielsen and Arne Skou",

note = "Serie: Lecture Notes in Computer Science, 3235, 0302-9743 ; Connectivity testing through model-checking ; Conference date: 19-05-2010",

year = "2004",

language = "English",

volume = "3235",

pages = "167--184",

booktitle = "Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings",

}

TY - GEN

T1 - Connectivity testing through model-checking

AU - Godskesen, J.C.

AU - Nielsen, Brian

AU - Skou, Arne

N1 - Serie: Lecture Notes in Computer Science, 3235, 0302-9743

PY - 2004

Y1 - 2004

M3 - Article in proceeding

VL - 3235

SP - 167

EP - 184

BT - Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings

T2 - Connectivity testing through model-checking

Y2 - 19 May 2010

ER -