Albert Benveniste, Claude Jard, Stéphane Gaubert. Algebraic techniques for timed systems. In Proceedings of CONCUR'98, Nice, France, September 1998.
[ Maxplus ]
Albert Benveniste http://www.irisa.fr/sigma2/benveniste/home.html
@InProceedings{Benveniste1998b,
Author = {Benveniste, Albert and Jard, Claude and Gaubert, Stéphane},
Title = {Algebraic techniques for timed systems},
BookTitle = {Proceedings of CONCUR'98},
Address = {Nice, France},
Month = {September},
Year = {1998}
}
Get EndNote Reference (.ref)