The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware

The work

AuthorsStavros Tripakis; Rhishikesh Limaye; Kaushik Ravindran; Guoqiang Wang; Hugo Andrade; Arkadeb Ghosal
Editors
Typearticle
Year2015
Citekeytripakis2015tokens

Where it appeared

Published inJournal of Signal Processing Systems
PublisherSpringer Science and Business Media LLC
Volume85
Issue1
Pages23--43

Identifiers

DOI10.1007/s11265-015-0971-y
ISSN1939-8018

How it got here

How it got hereagent via crossref
Added2026-10-25 21:07 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{tripakis2015tokens,
  title        = {Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware},
  author       = {Stavros Tripakis and Rhishikesh Limaye and Kaushik Ravindran and Guoqiang Wang and Hugo Andrade and Arkadeb Ghosal},
  year         = {2015},
  journal      = {Journal of Signal Processing Systems},
  publisher    = {Springer Science and Business Media LLC},
  volume       = {85},
  number       = {1},
  pages        = {23--43},
  issn         = {1939-8018},
  doi          = {10.1007/s11265-015-0971-y},
}

This record lives at https://refs.drheap.org/tripakis2015tokens/ and will keep doing so.