@inproceedings{AT02,
title = {Tools for Controller Synthesis of Timed Systems },
author = {Altisen, Karine and Tripakis, Stavros},
month = {july},
year = {2002},
booktitle = {2nd Workshop on Real-Time Tools (RT-TOOLS'2002)},
team = {TEMPO},
}
