-
Selection by year
-
Selection by authors
-
Complete lists
sankur-master
Ocan Sankur. Model-checking robuste des automates temporisés via les machines à canaux. Master's theses 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)