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.

A formal approach to reactive systems software: A telecommunications application in Esterel

The work

AuthorsLalita Jategaonkar; Carlos Puchol; James E. Von Olnhausen
Editors
Typearticle
Year1996
Citekeyjategaonkar1996formal

Where it appeared

Published inFormal Methods in System Design
PublisherSpringer Science+Business Media
Volume8
Issue2
Pages123--151

Identifiers

DOI10.1007/bf00122418
OpenAlexW3014811439

Access

Landing pagehttps://doi.org/10.1007/bf00122418

How it got here

How it got hereagent via openalex
Added2026-10-23 21:37 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{jategaonkar1996formal,
  title        = {A formal approach to reactive systems software: A telecommunications application in Esterel},
  author       = {Lalita Jategaonkar and Carlos Puchol and James E. Von Olnhausen},
  year         = {1996},
  journal      = {Formal Methods in System Design},
  publisher    = {Springer Science+Business Media},
  volume       = {8},
  number       = {2},
  pages        = {123--151},
  doi          = {10.1007/bf00122418},
}

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