Inproceedings,
Why Are Modalities Good for Interface Theories?.
J. Raclet, É. Badouel, A. Benveniste, B. Caillaud, and R. Passerone.ACSD, page 119-127. IEEE Computer Society, (2009)
Meta data
- BibTeX key
- conf/acsd/RacletBBCP09
- entry type
- inproceedings
- booktitle
- ACSD
- year
- 2009
- pages
- 119-127
- publisher
- IEEE Computer Society
- crossref
- conf/acsd/2009
- ee
- https://doi.ieeecomputersociety.org/10.1109/ACSD.2009.22
- isbn
- 978-0-7695-3697-2
- url
- http://dblp.uni-trier.de/db/conf/acsd/acsd2009.html#RacletBBCP09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/acsd/RacletBBCP09
%A Raclet, Jean-Baptiste
%A Badouel, Éric
%A Benveniste, Albert
%A Caillaud, Benoît
%A Passerone, Roberto
%B ACSD
%D 2009
%I IEEE Computer Society
%K dblp
%P 119-127
%T Why Are Modalities Good for Interface Theories?.
%U http://dblp.uni-trier.de/db/conf/acsd/acsd2009.html#RacletBBCP09
%@ 978-0-7695-3697-2
@inproceedings{conf/acsd/RacletBBCP09,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Raclet, Jean-Baptiste and Badouel, Éric and Benveniste, Albert and Caillaud, Benoît and Passerone, Roberto},
biburl = {https://www.bibsonomy.org/bibtex/289bb2617f50f6b67172e7f2f720b70ba/dblp},
booktitle = {ACSD},
crossref = {conf/acsd/2009},
ee = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2009.22},
interhash = {b69eb3603e27b6fa84d77409e5e58bd8},
intrahash = {89bb2617f50f6b67172e7f2f720b70ba},
isbn = {978-0-7695-3697-2},
keywords = {dblp},
pages = {119-127},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T06:00:04.000+0200},
title = {Why Are Modalities Good for Interface Theories?.},
url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2009.html#RacletBBCP09},
year = 2009
}