Sciweavers

1 search results - page 1 / 1
» sosym 2011
Sort
View
SOSYM
2011
12 years 11 months ago
Exploring inconsistencies between modal transition systems
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
Mathieu Sassolas, Marsha Chechik, Sebastián...