Tools for Specifying Real-Time Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Giacomo Bucci, Maurizio Campanai, Paolo Nesi. Tools for Specifying Real-Time Systems. Real-Time Systems, 8(2-3):117-172, 1995.

@article{BucciCN95,
  title = {Tools for Specifying Real-Time Systems},
  author = {Giacomo Bucci and Maurizio Campanai and Paolo Nesi},
  year = {1995},
  researchr = {https://researchr.org/publication/BucciCN95},
  cites = {0},
  citedby = {0},
  journal = {Real-Time Systems},
  volume = {8},
  number = {2-3},
  pages = {117-172},
}

runs on WebDSL