Skins
Antonopoulos et al, 2014
Summary
(2014) Foundations for Decision Problems in Separation Logic with General Inductive Predicates FoSSaCS 2014 Anca Muscholl Springer (To appear)
BibTeX entry
@INPROCEEDINGS { AGHKO-fossacs14,
LOCATION = { Grenoble, France },
AUTHOR = { Antonopoulos, Timos and Gorogiannis, Nikos and Haase, Christoph and Kanovich, Max and Ouaknine, Jo{\"e}l },
BOOKTITLE = { FoSSaCS 2014 },
CONFNAME = { {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructures },
CONFNUM = { 17th },
EDITOR = { Muscholl, Anca },
MONTH = { },
NOTE = { To appear },
PUBLISHER = { Springer },
SERIES = { },
TITLE = { Foundations for Decision Problems in Separation Logic with General Inductive Predicates },
YEAR = { 2014 },
}