Jump to : Keyword | Contact | BibTex reference | EndNote reference |


A. Benveniste, C. Jard, S. Gaubert. Algebraic techniques for timed systems. In Proceedings of CONCUR'98, Nice, France, September 1998.


[ Maxplus ]

BibTex Reference

   Author = {Benveniste, A. and Jard, C. and Gaubert, S.},
   Title = {Algebraic techniques for timed systems},
   BookTitle = {Proceedings of CONCUR'98},
   Address = {Nice, France},
   Month = {September},
   Year = {1998}

EndNote Reference [help]

Get EndNote Reference (.ref)