Inproceedings,
An Epistemic Separation Logic.
J. Courtault, H. van Ditmarsch, and D. Galmiche.WoLLIC, volume 9160 of Lecture Notes in Computer Science, page 156-173. Springer, (2015)
Meta data
- BibTeX key
- conf/wollic/CourtaultDG15
- entry type
- inproceedings
- booktitle
- WoLLIC
- year
- 2015
- pages
- 156-173
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9160
- crossref
- conf/wollic/2015
- ee
- https://doi.org/10.1007/978-3-662-47709-0_12
- isbn
- 978-3-662-47708-3
- url
- http://dblp.uni-trier.de/db/conf/wollic/wollic2015.html#CourtaultDG15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/wollic/CourtaultDG15
%A Courtault, Jean-René
%A van Ditmarsch, Hans
%A Galmiche, Didier
%B WoLLIC
%D 2015
%E de Paiva, Valeria
%E de Queiroz, Ruy J. G. B.
%E Moss, Lawrence S.
%E Leivant, Daniel
%E de Oliveira, Anjolina Grisi
%I Springer
%K
%P 156-173
%T An Epistemic Separation Logic.
%U http://dblp.uni-trier.de/db/conf/wollic/wollic2015.html#CourtaultDG15
%V 9160
%@ 978-3-662-47708-3
@inproceedings{conf/wollic/CourtaultDG15,
added-at = {2023-12-13T01:00:14.000+0100},
author = {Courtault, Jean-René and van Ditmarsch, Hans and Galmiche, Didier},
biburl = {https://www.bibsonomy.org/bibtex/2c87752fc22a2549bcd27fac1923fe050/admin},
booktitle = {WoLLIC},
crossref = {conf/wollic/2015},
editor = {de Paiva, Valeria and de Queiroz, Ruy J. G. B. and Moss, Lawrence S. and Leivant, Daniel and de Oliveira, Anjolina Grisi},
ee = {https://doi.org/10.1007/978-3-662-47709-0_12},
interhash = {6b76ba53f4f35ca6073c97ecc0c665cd},
intrahash = {c87752fc22a2549bcd27fac1923fe050},
isbn = {978-3-662-47708-3},
keywords = {},
pages = {156-173},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T01:00:14.000+0100},
title = {An Epistemic Separation Logic.},
url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2015.html#CourtaultDG15},
volume = 9160,
year = 2015
}