Parallel Temporal Tableaux. Scott, R. I., Fisher, M., & Keane, J. A. In Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pages 852–861, 1998.
Parallel Temporal Tableaux [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/europar/ScottFK98,
  author    = {R. I. Scott and
               Michael Fisher and
               John A. Keane},
  title     = {Parallel Temporal Tableaux},
  booktitle = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
               Southampton, UK, September 1-4, 1998, Proceedings},
  pages     = {852--861},
  year      = {1998},
  crossref  = {DBLP:conf/europar/1998},
  url       = {https://doi.org/10.1007/BFb0057940},
  doi       = {10.1007/BFb0057940},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/europar/ScottFK98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0