@inproceedings{fbe854708ac111dbbb3d000ea68e967b,
title = "Distributed Timed Model Checking: How the Search Order Matters",
author = "Gerd Behrmann and T. Hune and F. Vaandrager",
note = "ISSN ; 0302-9743; Distributed Timed Model Checking ; Conference date: 19-05-2010",
year = "2000",
language = "English",
isbn = "3540677704",
pages = "216--231",
editor = "{Emerson, E. : Sistla, A. (eds.)}",
booktitle = "Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, Il., USA, July 15-19, 2000 : Proceedings",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1855",
}