Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/eceasst/RosaMQ10
%A Rosa, Cristian Daniel
%A Merz, Stephan
%A Quinson, Martin
%D 2010
%J ECEASST
%K dblp
%T A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.
%U http://dblp.uni-trier.de/db/journals/eceasst/eceasst35.html#RosaMQ10
%V 35
@article{journals/eceasst/RosaMQ10,
added-at = {2019-05-22T00:00:00.000+0200},
author = {Rosa, Cristian Daniel and Merz, Stephan and Quinson, Martin},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f11f5d65cb4ad514e92bcdb14b7840ed/dblp},
ee = {https://doi.org/10.14279/tuj.eceasst.35.562},
interhash = {c27e8000b164570491bbe58c1cc59685},
intrahash = {f11f5d65cb4ad514e92bcdb14b7840ed},
journal = {ECEASST},
keywords = {dblp},
timestamp = {2019-09-27T08:45:24.000+0200},
title = {A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.},
url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst35.html#RosaMQ10},
volume = 35,
year = 2010
}
