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 conf/forte/BasuBBS08
%A Basu, Ananda
%A Bidinger, Philippe
%A Bozga, Marius
%A Sifakis, Joseph
%B FORTE
%D 2008
%E Suzuki, Kenji
%E Higashino, Teruo
%E Yasumoto, Keiichi
%E El-Fakih, Khaled
%I Springer
%K dblp
%P 116-133
%T Distributed Semantics and Implementation for Systems with Interaction and Priority.
%U http://dblp.uni-trier.de/db/conf/forte/forte2008.html#BasuBBS08
%V 5048
%@ 978-3-540-68854-9
@inproceedings{conf/forte/BasuBBS08,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Basu, Ananda and Bidinger, Philippe and Bozga, Marius and Sifakis, Joseph},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2388a8543698fbe412200c0d873d2aaea/dblp},
booktitle = {FORTE},
crossref = {conf/forte/2008},
editor = {Suzuki, Kenji and Higashino, Teruo and Yasumoto, Keiichi and El-Fakih, Khaled},
ee = {https://doi.org/10.1007/978-3-540-68855-6_8},
interhash = {749446ba50be877753f81cb6817ece32},
intrahash = {388a8543698fbe412200c0d873d2aaea},
isbn = {978-3-540-68854-9},
keywords = {dblp},
pages = {116-133},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T17:33:04.000+0200},
title = {Distributed Semantics and Implementation for Systems with Interaction and Priority.},
url = {http://dblp.uni-trier.de/db/conf/forte/forte2008.html#BasuBBS08},
volume = 5048,
year = 2008
}