RT-ASLAN: A Specification Language for Real-Time Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Brent Auernheimer, Richard A. Kemmerer. RT-ASLAN: A Specification Language for Real-Time Systems. IEEE Trans. Software Eng., 12(9):879-889, 1986.

@article{AuernheimerK86,
  title = {RT-ASLAN: A Specification Language for Real-Time Systems},
  author = {Brent Auernheimer and Richard A. Kemmerer},
  year = {1986},
  researchr = {https://researchr.org/publication/AuernheimerK86},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {12},
  number = {9},
  pages = {879-889},
}

runs on WebDSL