Specification of systems with interrupts

@article{Krishnan1993SpecificationOS,
  title={Specification of systems with interrupts},
  author={Padmanabhan Krishnan},
  journal={Journal of Systems and Software},
  year={1993},
  volume={21},
  pages={291-304}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…