%0 Conference Proceedings
%F Caillaud2000c
%A Caillaud, B.
%A Darondeau, P.
%A Hélouet, L.
%A Lesventes, G.
%T HMSCs as specifications... with PN as completions
%B Proceedings of the summer school MOVEP'2k: Modelling and verification of parallel processes
%E Cassez, F.
%E Jard, Claude
%E Rozoy, B.
%E Ryan, M.
%P 87-103
%C Nantes
%8 June
%D 2000
%K nets
%K  msc