@Article{GP11,
  author = 	 {P. Godefroid and N. Piterman},
  title = 	 {Generalized Model Checking Revisited},
  journal =   {Software Tools for Technology Transfer},
  year = {2011},
  volume = {13},
  number = {6},
  pages =  {571-584},
  url_Paper = {2011/GP11.pdf},
  month =  {November},
  keywords = {Model Checking},
}

{"_id":"FnEAc87ASgRYhoC4E","bibbaseid":"godefroid-piterman-generalizedmodelcheckingrevisited-2011","author_short":["Godefroid, P.","Piterman, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Godefroid"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Piterman"],"suffixes":[]}],"title":"Generalized Model Checking Revisited","journal":"Software Tools for Technology Transfer","year":"2011","volume":"13","number":"6","pages":"571-584","url_paper":"2011/GP11.pdf","month":"November","keywords":"Model Checking","bibtex":"@Article{GP11,\n author = \t {P. Godefroid and N. Piterman},\n title = \t {Generalized Model Checking Revisited},\n journal = {Software Tools for Technology Transfer},\n year = {2011},\n volume = {13},\n number = {6},\n pages = {571-584},\n url_Paper = {2011/GP11.pdf},\n month = {November},\n keywords = {Model Checking},\n}\n\n","author_short":["Godefroid, P.","Piterman, N."],"key":"GP11","id":"GP11","bibbaseid":"godefroid-piterman-generalizedmodelcheckingrevisited-2011","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~piterman/publications/2011/GP11.pdf"},"keyword":["Model Checking"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","dataSources":["dBCbAowrXBj8Z9xpg"],"keywords":["model checking"],"search_terms":["generalized","model","checking","revisited","godefroid","piterman"],"title":"Generalized Model Checking Revisited","year":2011}