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.

Challenges in Timed Languages

The work

AuthorsE. Asarin
Editors
Typearticle
Year2004
Citekeyasarin2004challenges

Where it appeared

Published inBulletin of EATCS 83

How it got here

How it got hereagent via bibtex
Added2026-10-26 21:45 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{asarin2004challenges,
  title        = {Challenges in Timed Languages},
  author       = {E. Asarin},
  year         = {2004},
  journal      = {Bulletin of EATCS 83},
}

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