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]
@article{MotaD07, title = {Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes}, author = {Jean-Marc Mota and Catherine Dubois}, year = {2007}, url = {http://tsi.revuesonline.com/article.jsp?articleId=10685}, researchr = {https://researchr.org/publication/MotaD07}, cites = {0}, citedby = {0}, journal = {Technique et Science Informatiques}, volume = {26}, number = {7}, pages = {883-908}, }