@article{ dblp3981346,
  title = {Symbolic model checking with rich assertional languages},
  author = {Yonit Kesten and Oded Maler and Monica Marcus and Amir Pnueli and Elad Shahar},
  author_short = {Kesten, Y. and Maler, O. and Marcus, M. and Pnueli, A. and Shahar, E.},
  bibtype = {article},
  type = {article},
  year = {2001},
  key = {dblp3981346},
  id = {dblp3981346},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/KestenMMPS01},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00103-1},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {93-112},
  number = {1-2},
  volume = {256},
  text = {Theor. Comput. Sci. (TCS) 256(1-2):93-112 (2001)}
}

{"_id":"c9pceKC6AMxa82jcR","bibbaseid":"kesten-maler-marcus-pnueli-shahar-symbolicmodelcheckingwithrichassertionallanguages-2001","downloads":0,"creationDate":"2015-07-05T11:05:40.234Z","title":"Symbolic model checking with rich assertional languages","author_short":["Kesten, Y.","Maler, O.","Marcus, M.","Pnueli, A.","Shahar, E."],"year":2001,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/KestenMMPS01","bibdata":{"title":"Symbolic model checking with rich assertional languages","author":["Yonit Kesten","Oded Maler","Monica Marcus","Amir Pnueli","Elad Shahar"],"author_short":["Kesten, Y.","Maler, O.","Marcus, M.","Pnueli, A.","Shahar, E."],"bibtype":"article","type":"article","year":"2001","key":"dblp3981346","id":"dblp3981346","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/KestenMMPS01","url":"http://dx.doi.org/10.1016/S0304-3975(00)00103-1","journal":"Theor. Comput. Sci. (TCS)","pages":"93-112","number":"1-2","volume":"256","text":"Theor. Comput. Sci. (TCS) 256(1-2):93-112 (2001)","bibtex":"@article{ dblp3981346,\n title = {Symbolic model checking with rich assertional languages},\n author = {Yonit Kesten and Oded Maler and Monica Marcus and Amir Pnueli and Elad Shahar},\n author_short = {Kesten, Y. and Maler, O. and Marcus, M. and Pnueli, A. and Shahar, E.},\n bibtype = {article},\n type = {article},\n year = {2001},\n key = {dblp3981346},\n id = {dblp3981346},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/KestenMMPS01},\n url = {http://dx.doi.org/10.1016/S0304-3975(00)00103-1},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {93-112},\n number = {1-2},\n volume = {256},\n text = {Theor. Comput. Sci. (TCS) 256(1-2):93-112 (2001)}\n}","bibbaseid":"kesten-maler-marcus-pnueli-shahar-symbolicmodelcheckingwithrichassertionallanguages-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S0304-3975(00)00103-1"},"downloads":0},"search_terms":["symbolic","model","checking","rich","assertional","languages","kesten","maler","marcus","pnueli","shahar"],"keywords":[],"authorIDs":[],"dataSources":["iRHnmNdcB7aF9Gqxh"]}