@inproceedings{HM06,
title = { Simulation and verification of asynchronous systems by means of a synchronous model },
author = {Halbwachs, Nicolas and Mandel, Louis},
month = {jun},
year = {2006},
booktitle = {Sixth International Conference on Application of Concurrency to System Design, ACSD 2006},
address = {Turku, Finland},
team = {SYNC},
}