Mok89'

BibTeX

@inproceedings{DBLP:conf/rtss/Mok89,
  author    = {Aloysius K. Mok},
  title     = {Formal Analysis of Real-Time Equational Rule-Based Systems},
  booktitle = {IEEE Real-Time Systems Symposium},
  year      = {1989},
  pages     = {308-318},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}