Functional Development of Massively Parallel Programs (Invited Paper).
P. Pepper, J. Exner, und M. Südholt. Formal Methods in Programming and Their Applications, Volume 735 von Lecture Notes in Computer Science, Seite 217-238. Springer, (1993)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/ershov/PepperES93
%A Pepper, Peter
%A Exner, Jürgen
%A Südholt, Mario
%B Formal Methods in Programming and Their Applications
%D 1993
%E Bjørner, Dines
%E Broy, Manfred
%E Pottosin, Igor V.
%I Springer
%K dblp
%P 217-238
%T Functional Development of Massively Parallel Programs (Invited Paper).
%U http://dblp.uni-trier.de/db/conf/ershov/ershov1993.html#PepperES93
%V 735
%@ 3-540-57316-X
@inproceedings{conf/ershov/PepperES93,
added-at = {2017-05-20T00:00:00.000+0200},
author = {Pepper, Peter and Exner, Jürgen and Südholt, Mario},
biburl = {https://www.bibsonomy.org/bibtex/287cbcf39d32f56b8d8a514a110784b9c/dblp},
booktitle = {Formal Methods in Programming and Their Applications},
crossref = {conf/ershov/1993},
editor = {Bjørner, Dines and Broy, Manfred and Pottosin, Igor V.},
ee = {https://doi.org/10.1007/BFb0039710},
interhash = {26668affa9c7d0775f5f128f991c65b2},
intrahash = {87cbcf39d32f56b8d8a514a110784b9c},
isbn = {3-540-57316-X},
keywords = {dblp},
pages = {217-238},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T20:03:51.000+0200},
title = {Functional Development of Massively Parallel Programs (Invited Paper).},
url = {http://dblp.uni-trier.de/db/conf/ershov/ershov1993.html#PepperES93},
volume = 735,
year = 1993
}
