%0 Conference Paper %1 conf/cav/KuttyRMDM93 %A Kutty, George %A Ramakrishna, Y. S. %A Moser, Louise E. %A Dillon, Laura K. %A Melliar-Smith, P. M. %B CAV %D 1993 %E Courcoubetis, Costas %I Springer %K dblp %P 138-153 %T A Graphical Interval Logic Toolset for Verifying Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/cav/cav93.html#KuttyRMDM93 %V 697 %@ 3-540-56922-7

@inproceedings{conf/cav/KuttyRMDM93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kutty, George and Ramakrishna, Y. S. and Moser, Louise E. and Dillon, Laura K. and Melliar-Smith, P. M.}, biburl = {https://www.bibsonomy.org/bibtex/224c0993eed8c2dbc71f6551de59f7400/dblp}, booktitle = {CAV}, crossref = {conf/cav/1993}, editor = {Courcoubetis, Costas}, ee = {https://doi.org/10.1007/3-540-56922-7_12}, interhash = {43dbada31df6d4fc04a896bcbd0201d3}, intrahash = {24c0993eed8c2dbc71f6551de59f7400}, isbn = {3-540-56922-7}, keywords = {dblp}, pages = {138-153}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:16.000+0200}, title = {A Graphical Interval Logic Toolset for Verifying Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav93.html#KuttyRMDM93}, volume = 697, year = 1993 }