A Model-Based Approach to the Verification and Adaptation of WF/.NET ComponentsJavier Cubo, Pascal Poizat, Gwen Salaün et al.|Electronic Notes in Theoretical Computer Science|2008Cited by 42
Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0Javier Cubo, Pascal Poizat, Gwen Salaün et al.|Unknown|2007Cited by 3
Verification and Adaptation of WF/.NET ComponentsJavier Cubo, Pascal Poizat, Gwen Salaün et al.|HAL (Le Centre pour la Communication Scientifique Directe)|2008Cited by 2