Michael Leuschel. PROB: un outil de modélisation formelle. In Frédéric Mesnard, editor, Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France. Hermes, 2004.
@inproceedings{Leuschel04:0,
title = {PROB: un outil de modélisation formelle},
author = {Michael Leuschel},
year = {2004},
researchr = {https://researchr.org/publication/Leuschel04%3A0},
cites = {0},
citedby = {0},
booktitle = {Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France},
editor = {Frédéric Mesnard},
publisher = {Hermes},
isbn = {2-7462-0937-3},
}