%0 Conference Proceedings
%F wodes06
%A Besnard, Loïc
%A Marchand, Hervé
%A Rutten, Eric
%T The Sigali Tool Box Environment
%B WODES'06, 8th International Workshop on Discrete Event Systems, Sessions on Software Tools for DES
%I IEEE Computer Society
%C Ann Arbor, Michigan, USA
%8 July
%D 2006