%0 Conference Paper %1 conf/parle/LiRSVBPKSCRSS93 %A Li, Liang-Liang %A Reeve, Mike %A Schuerman, Kees %A Véron, André %A Bellone, Jacques %A Pradelles, Claudine %A Kolokouris, Angelos %A Stamatopoulos, Takis %A Clark, Dominic A. %A Rawlings, Christopher J. %A Shirazi, Jack %A Sardu, Giuseppe %B PARLE %D 1993 %E Bode, Arndt %E Reeve, Mike %E Wolf, Gottfried %I Springer %K dblp %P 756-759 %T Applause: Application & Assessment of Parallel Programming Using Logic. %U http://dblp.uni-trier.de/db/conf/parle/parle93.html#LiRSVBPKSCRSS93 %V 694 %@ 3-540-56891-3

@inproceedings{conf/parle/LiRSVBPKSCRSS93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Li, Liang-Liang and Reeve, Mike and Schuerman, Kees and Véron, André and Bellone, Jacques and Pradelles, Claudine and Kolokouris, Angelos and Stamatopoulos, Takis and Clark, Dominic A. and Rawlings, Christopher J. and Shirazi, Jack and Sardu, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/20319f7af485936c4befdadcd4d6e7a40/dblp}, booktitle = {PARLE}, crossref = {conf/parle/1993}, editor = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried}, ee = {https://doi.org/10.1007/3-540-56891-3_77}, interhash = {840b9596672af8da44aa5c8e60baff18}, intrahash = {0319f7af485936c4befdadcd4d6e7a40}, isbn = {3-540-56891-3}, keywords = {dblp}, pages = {756-759}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:33:16.000+0200}, title = {Applause: Application & Assessment of Parallel Programming Using Logic.}, url = {http://dblp.uni-trier.de/db/conf/parle/parle93.html#LiRSVBPKSCRSS93}, volume = 694, year = 1993 }