ACT-01:vasco-60

I. Parissis, J. Vassy. Test des propriétés de sûreté. In Actes du colloque Modélisation de Systèmes Réactifs (MSR'01), Pages 563-578, 2001.

Contact

Ioannis Parissis

Référence BibTex

@InProceedings{ACT-01:vasco-60,
   Author = {Parissis, I. and Vassy, J.},
   Title = {{Test des propriétés de sûreté}},
   BookTitle = {{Actes du colloque Modélisation de Systèmes Réactifs (MSR'01)}},
   Pages = {563--578},
   Publisher = {Hermès},
   Year = {2001}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)