T-07:vasco-NS

Nicolas Stouls. Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. PhD Thesis Institut Polytechnique de Grenoble, Grenoble, France, December 2007.

Download

Download paper: (link)

Copyright notice:

BibTex Reference

@PhdThesis{T-07:vasco-NS,
   Author = {Stouls, Nicolas},
   Title = {{Systèmes de transitions symboliques et hiérarchiques pour       la conception et la validation de modèles B raffinés}},
   School = {Institut Polytechnique de Grenoble},
   Address = {Grenoble, France},
   Month = {December},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)