Model-Checking in Simulations of Distributed Systes.

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

Original language	English
Title of host publication	Proceedings of 12th European Simulation Symposium ESS 2000
Editors	D.F.P. Moeller
Place of Publication	Hamburg, Germany
Publisher	Society for Computer Simulation International (SCS)
Pages	606-611
Publication status	Published - 2000
Event	conference; ESS 2000; 2000-09-28; 2000-09-30 - Duration: 28 Sept 2000 → 30 Sept 2000

Cite this

@inproceedings{714bea86f19d4db0ae7d8ebd894ec734,

title = "Model-Checking in Simulations of Distributed Systes.",

author = "M.C.W. Geilen",

year = "2000",

language = "English",

pages = "606--611",

editor = "D.F.P. Moeller",

booktitle = "Proceedings of 12th European Simulation Symposium ESS 2000",

publisher = "Society for Computer Simulation International (SCS)",

note = "conference; ESS 2000; 2000-09-28; 2000-09-30 ; Conference date: 28-09-2000 Through 30-09-2000",

}

TY - GEN

T1 - Model-Checking in Simulations of Distributed Systes.

AU - Geilen, M.C.W.

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 606

EP - 611

BT - Proceedings of 12th European Simulation Symposium ESS 2000

A2 - Moeller, D.F.P.

PB - Society for Computer Simulation International (SCS)

CY - Hamburg, Germany

T2 - conference; ESS 2000; 2000-09-28; 2000-09-30

Y2 - 28 September 2000 through 30 September 2000

ER -