A Graphical Interval Logic Toolset for Verifying Concurrent Systems. Kutty, G., Ramakrishna, Y. S., Moser, L. E., Dillon, L. K., & Melliar-Smith, P. M. In Proceedings of Computer Aided Verification (CAV), pages 138-153, 1993.
A Graphical Interval Logic Toolset for Verifying Concurrent Systems [link]Paper  bibtex   
@inproceedings{ dblp4089991,
  title = {A Graphical Interval Logic Toolset for Verifying Concurrent Systems},
  author = {George Kutty and Y. S. Ramakrishna and Louise E. Moser and Laura K. Dillon and P. M. Melliar-Smith},
  author_short = {Kutty, G. and Ramakrishna, Y. S. and Moser, L. E. and Dillon, L. K. and Melliar-Smith, P. M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1993},
  key = {dblp4089991},
  id = {dblp4089991},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cav/KuttyRMDM93},
  url = {http://dx.doi.org/10.1007/3-540-56922-7_12},
  conference = {CAV},
  pages = {138-153},
  text = {CAV 1993:138-153},
  booktitle = {Proceedings of Computer Aided Verification (CAV)}
}
Downloads: 0