Skip to Main content
Number of documents

1


4158   

Reports1 document

  • Valérie Viet Triem Tong, Christophe Bidan, Ludovic Mé, Christopher Humphries, Guillaume Piolle. Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL. [Rapport de recherche] D4.1, Supélec. 2011. ⟨hal-01172702⟩