%0 Conference Paper %1 conf/iclp/ChambreD94 %A Chambre, Pascal %A Deransart, Pierre %B ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages %D 1994 %E de Boer, Frank S. %E Gabbrielli, Maurizio %K dblp %T Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#ChambreD94

@inproceedings{conf/iclp/ChambreD94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Chambre, Pascal and Deransart, Pierre}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f943cd1736cced21be312ec8fe9e7bdf/dblp}, booktitle = {ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages}, crossref = {conf/iclp/1994w2}, editor = {de Boer, Frank S. and Gabbrielli, Maurizio}, interhash = {7d017a563ba51e25b6bf36b2775c39b8}, intrahash = {f943cd1736cced21be312ec8fe9e7bdf}, keywords = {dblp}, timestamp = {2016-02-02T15:20:41.000+0100}, title = {Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#ChambreD94}, year = 1994 }