Object-Oriented Specification and Formal Verification of Real-Time Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jyhjong Lin, David Chenho Kung, Pei Hsia. Object-Oriented Specification and Formal Verification of Real-Time Systems. Ann. Software Eng., 2:161-198, 1996.

@article{LinKH96,
  title = {Object-Oriented Specification and Formal Verification of Real-Time Systems},
  author = {Jyhjong Lin and David Chenho Kung and Pei Hsia},
  year = {1996},
  researchr = {https://researchr.org/publication/LinKH96},
  cites = {0},
  citedby = {0},
  journal = {Ann. Software Eng.},
  volume = {2},
  pages = {161-198},
}

runs on WebDSL