BenoƮt Caillaud, Anca Muscholl, editors, Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002. Volume 65 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Conference: etaps2002
Abstract is missing.