Showing 1 - 3 results of 3 for search 'Ramakrishnan, C.R', query time: 0.02s Refine Results
  1. 1
    Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
    Published 2002
    Other Authors: “…Ramakrishnan, C.R…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Published 2008
    Other Authors: “…Ramakrishnan, C. R.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published 2013
    Other Authors: “…Ramakrishnan, C. R.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search