@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)}
}

{"_id":"ZwuaSb5DzGAzjPxpw","bibbaseid":"kutty-ramakrishna-moser-dillon-melliarsmith-agraphicalintervallogictoolsetforverifyingconcurrentsystems-1993","downloads":0,"creationDate":"2014-12-14T05:18:58.888Z","title":"A Graphical Interval Logic Toolset for Verifying Concurrent Systems","author_short":["Kutty, G.","Ramakrishna, Y. S.","Moser, L. E.","Dillon, L. K.","Melliar-Smith, P. M."],"year":1993,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/KuttyRMDM93","bibdata":{"title":"A Graphical Interval Logic Toolset for Verifying Concurrent Systems","author":["George Kutty","Y. S. Ramakrishna","Louise E. Moser","Laura K. Dillon","P. M. Melliar-Smith"],"author_short":["Kutty, G.","Ramakrishna, Y. S.","Moser, L. E.","Dillon, L. K.","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)","bibtex":"@inproceedings{ dblp4089991,\n title = {A Graphical Interval Logic Toolset for Verifying Concurrent Systems},\n author = {George Kutty and Y. S. Ramakrishna and Louise E. Moser and Laura K. Dillon and P. M. Melliar-Smith},\n author_short = {Kutty, G. and Ramakrishna, Y. S. and Moser, L. E. and Dillon, L. K. and Melliar-Smith, P. M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1993},\n key = {dblp4089991},\n id = {dblp4089991},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cav/KuttyRMDM93},\n url = {http://dx.doi.org/10.1007/3-540-56922-7_12},\n conference = {CAV},\n pages = {138-153},\n text = {CAV 1993:138-153},\n booktitle = {Proceedings of Computer Aided Verification (CAV)}\n}","bibbaseid":"kutty-ramakrishna-moser-dillon-melliarsmith-agraphicalintervallogictoolsetforverifyingconcurrentsystems-1993","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-56922-7_12"},"downloads":0},"search_terms":["graphical","interval","logic","toolset","verifying","concurrent","systems","kutty","ramakrishna","moser","dillon","melliar-smith"],"keywords":[],"authorIDs":[],"dataSources":["ug97syjP5h4awcHnt"]}