Contraintes booléennes et gestion d arbres des défaillances

Antoine Rauzy. Contraintes booléennes et gestion d arbres des défaillances. In Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim, editors, JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. pages 301-313, 1992.

Authors

Antoine Rauzy

This author has not been identified. Look up 'Antoine Rauzy' in Google