%0 Conference Paper
%F Oral 
%T Extending translation from SDL to Promela
%+ Développement des Technologies Nouvelles (DTN)
%+ MeForBio
%A Prigent, Armelle
%A Cassez, Franck
%A Dhaussy, Philippe
%A Roux, Olivier
%< avec comité de lecture
%B Atelier SéMo'07
%C Grenoble, France
%8 2001
%D 2001
%Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers
%G English
%L hal-00517295
%U https://hal.science/hal-00517295
%~ ENSTA-BRETAGNE
%~ ENSTA-BRETAGNE-STIC
%~ ENSIETA-DTN