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