Sophie Lepreux
AuthID: R-00G-WKY
1
TÃTULO: Processes: Working group report
AUTORES: Stephane Chatty; Jose Creissac Campos ; Maria Paula Gonzalez; Sophie Lepreux; Erik G Nilsson; Victor M R Penichet; Monica Santos; Jan Van den Bergh;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
AUTORES: Stephane Chatty; Jose Creissac Campos ; Maria Paula Gonzalez; Sophie Lepreux; Erik G Nilsson; Victor M R Penichet; Monica Santos; Jan Van den Bergh;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
