Jump to : Contact | BibTex reference | EndNote reference |


L. Hélouet, B. Bollig, S. Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010.


Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

   Author = {Hélouet, L. and Bollig, B. and Haar, S.},
   Title = {Diagnosis with Dynamic MSC Languages},
   BookTitle = {DOTS'2010, satellite workshop of CONCUR 2010},
   Year = {2010}

EndNote Reference [help]

Get EndNote Reference (.ref)