BibTeX record journals/corr/CorrodiHP16
download as .bib file
@article{DBLP:journals/corr/CorrodiHP16,
author = {Claudio Corrodi and
Alexander Heu{\ss}ner and
Christopher M. Poskitt},
title = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs},
journal = {CoRR},
volume = {abs/1603.00307},
year = {2016},
url = {http://arxiv.org/abs/1603.00307},
archivePrefix = {arXiv},
eprint = {1603.00307},
timestamp = {Mon, 13 Aug 2018 16:47:09 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/CorrodiHP16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by

, founded at
