Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 journals/corr/Majster-CederbaumS13
%A Majster-Cederbaum, Mila E.
%A Semmelrock, Nils
%B GRAPHITE
%D 2013
%E Wijs, Anton
%E Bosnacki, Dragan
%E Edelkamp, Stefan
%K dblp
%P 1-11
%T Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs138.html#Majster-CederbaumS13
%V 138
@inproceedings{journals/corr/Majster-CederbaumS13,
added-at = {2018-09-12T00:00:00.000+0200},
author = {Majster-Cederbaum, Mila E. and Semmelrock, Nils},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2982bf48e5fb25665731c631eaf4b0aae/dblp},
booktitle = {GRAPHITE},
crossref = {journals/corr/WijsBE13},
editor = {Wijs, Anton and Bosnacki, Dragan and Edelkamp, Stefan},
ee = {http://arxiv.org/abs/1312.7615},
interhash = {3bd3d7798718e47178d071e14e8c8d47},
intrahash = {982bf48e5fb25665731c631eaf4b0aae},
keywords = {dblp},
pages = {1-11},
series = {EPTCS},
timestamp = {2019-09-27T12:28:37.000+0200},
title = {Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs138.html#Majster-CederbaumS13},
volume = 138,
year = 2013
}