BibTeX record journals/cluster/CurcinGG09

download as .bib file

@article{DBLP:journals/cluster/CurcinGG09,
  author    = {Vasa Curcin and
               Moustafa Ghanem and
               Yike Guo},
  title     = {Analysing scientific workflows with Computational Tree Logic},
  journal   = {Cluster Computing},
  volume    = {12},
  number    = {4},
  pages     = {399--419},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10586-009-0099-6},
  doi       = {10.1007/s10586-009-0099-6},
  timestamp = {Fri, 30 Nov 2018 13:27:59 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cluster/CurcinGG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier