Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Seminar/2010-04-28 + (Alban Linard est post-doctorant à l'univer … Alban Linard est post-doctorant à l'université de Genève, dans</br>l'équipe "Software Modeling and Verification". Sa thèse s'est déroulée</br>conjointement au LIP6, dans l'équipe Modélisation et Vérification et</br>au LRDE. Il s'intéresse aux Diagrammes de Décision et à leur</br>application dans le model checking.à leur application dans le model checking.)