Jump to : Contact | BibTex reference | EndNote reference |

sankur-master

Ocan Sankur. Model-checking robuste des automates temporisés via les machines à canaux. Master's thesis Ecole Normale Supérieure, Paris, France, September 2010.

Contact

Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@MasterThesis{sankur-master,
   Author = {Sankur, Ocan},
   Title = {Model-checking robuste des automates temporis{é}s via les machines {à} canaux},
   School = {Ecole Normale Supérieure, Paris, France},
   Month = {September},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)