%0 Conference Paper %1 conf/jfplc/CorsiniR94 %A Corsini, Marc-Michel %A Rauzy, Antoine %B JFPLC %D 1994 %E Corsini, Marc-Michel %K dblp %P 171- %T Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. %U http://dblp.uni-trier.de/db/conf/jfplc/jfplc1994.html#CorsiniR94

@inproceedings{conf/jfplc/CorsiniR94, added-at = {2004-06-07T00:00:00.000+0200}, author = {Corsini, Marc-Michel and Rauzy, Antoine}, biburl = {https://www.bibsonomy.org/bibtex/280b492d17d3e6c3b805ff2986991411c/dblp}, booktitle = {JFPLC}, crossref = {conf/jfplc/1994}, date = {2004-06-07}, description = {dblp}, editor = {Corsini, Marc-Michel}, interhash = {739e15aee6b043b15f2f7072d10b0a7f}, intrahash = {80b492d17d3e6c3b805ff2986991411c}, keywords = {dblp}, pages = {171-}, timestamp = {2004-06-07T00:00:00.000+0200}, title = {Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage.}, url = {http://dblp.uni-trier.de/db/conf/jfplc/jfplc1994.html#CorsiniR94}, year = 1994 }