%0 Thesis %1 Chambre97 %A Chambre, Pascal %D 1997 %K dependency logical schemes vari.LP %T Contribution � la validation de programmes concurrents avec contraintes

@phdthesis{Chambre97, added-at = {2009-05-10T18:36:57.000+0200}, author = {Chambre, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/2b08d3d50beb2b3556a2fc98191523027/dparigot}, description = {Attribute Grammar}, interhash = {1dce3a0a775a5436b33301b3d475e73b}, intrahash = {b08d3d50beb2b3556a2fc98191523027}, keywords = {dependency logical schemes vari.LP}, school = {Orl�ans-LIFO}, timestamp = {2009-05-10T18:36:59.000+0200}, title = {Contribution � la validation de programmes concurrents avec contraintes}, year = 1997 }