%0 Conference Paper %1 conf/types/DespeyrouxC13 %A Despeyroux, Joëlle %A Chaudhuri, Kaustuv %B TYPES %D 2013 %E Matthes, Ralph %E Schubert, Aleksy %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 150-168 %T A Hybrid Linear Logic for Constrained Transition Systems. %U http://dblp.uni-trier.de/db/conf/types/types2013.html#DespeyrouxC13 %V 26 %@ 978-3-939897-72-9

@inproceedings{conf/types/DespeyrouxC13, added-at = {2018-08-23T00:00:00.000+0200}, author = {Despeyroux, Joëlle and Chaudhuri, Kaustuv}, biburl = {https://www.bibsonomy.org/bibtex/2a0ebb386acc0b2d552ec96bc1bf9ef44/dblp}, booktitle = {TYPES}, crossref = {conf/types/2013}, editor = {Matthes, Ralph and Schubert, Aleksy}, ee = {https://doi.org/10.4230/LIPIcs.TYPES.2013.150}, interhash = {88e72fec388a140df06ef29f44cf7f62}, intrahash = {a0ebb386acc0b2d552ec96bc1bf9ef44}, isbn = {978-3-939897-72-9}, keywords = {dblp}, pages = {150-168}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:47:01.000+0100}, title = {A Hybrid Linear Logic for Constrained Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/types/types2013.html#DespeyrouxC13}, volume = 26, year = 2013 }