Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes

Jean-Marc Mota, Catherine Dubois. Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes. Technique et Science Informatiques, 26(7):883-908, 2007. [doi]

Abstract

Abstract is missing.