Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2105-02013
%A Bartocci, Ezio
%A Ferrère, Thomas
%A Henzinger, Thomas A.
%A Nickovic, Dejan
%A da Costa, Ana Oliveira
%D 2021
%J CoRR
%K dblp
%T Flavours of Sequential Information Flow.
%U http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-02013
%V abs/2105.02013
@article{journals/corr/abs-2105-02013,
added-at = {2021-05-12T00:00:00.000+0200},
author = {Bartocci, Ezio and Ferrère, Thomas and Henzinger, Thomas A. and Nickovic, Dejan and da Costa, Ana Oliveira},
biburl = {https://www.bibsonomy.org/bibtex/2ee5f62b2f31ede015e75c476e6c6b6c0/dblp},
ee = {https://arxiv.org/abs/2105.02013},
interhash = {bb06688f779b9cdb0019e1084dd32fb4},
intrahash = {ee5f62b2f31ede015e75c476e6c6b6c0},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:01:53.000+0200},
title = {Flavours of Sequential Information Flow.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-02013},
volume = {abs/2105.02013},
year = 2021
}