@article{DBLP:journals/tplp/BozzanoDM04,
  author       = {Marco Bozzano and
                  Giorgio Delzanno and
                  Maurizio Martelli},
  title        = {Model Checking Linear Logic Specifications},
  journal      = {Theory Pract. Log. Program.},
  volume       = {4},
  number       = {5-6},
  pages        = {573--619},
  year         = {2004},
  url          = {https://doi.org/10.1017/S1471068404002066},
  doi          = {10.1017/S1471068404002066},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/BozzanoDM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"qwffr6k5qHZ4JWwLQ","bibbaseid":"bozzano-delzanno-martelli-modelcheckinglinearlogicspecifications-2004","author_short":["Bozzano, M.","Delzanno, G.","Martelli, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marco"],"propositions":[],"lastnames":["Bozzano"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Martelli"],"suffixes":[]}],"title":"Model Checking Linear Logic Specifications","journal":"Theory Pract. Log. Program.","volume":"4","number":"5-6","pages":"573–619","year":"2004","url":"https://doi.org/10.1017/S1471068404002066","doi":"10.1017/S1471068404002066","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tplp/BozzanoDM04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tplp/BozzanoDM04,\n author = {Marco Bozzano and\n Giorgio Delzanno and\n Maurizio Martelli},\n title = {Model Checking Linear Logic Specifications},\n journal = {Theory Pract. Log. Program.},\n volume = {4},\n number = {5-6},\n pages = {573--619},\n year = {2004},\n url = {https://doi.org/10.1017/S1471068404002066},\n doi = {10.1017/S1471068404002066},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tplp/BozzanoDM04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bozzano, M.","Delzanno, G.","Martelli, M."],"key":"DBLP:journals/tplp/BozzanoDM04","id":"DBLP:journals/tplp/BozzanoDM04","bibbaseid":"bozzano-delzanno-martelli-modelcheckinglinearlogicspecifications-2004","role":"author","urls":{"Paper":"https://doi.org/10.1017/S1471068404002066"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/d/GDelzanno.bib","dataSources":["CNS5YERBRqLdN5aYr"],"keywords":[],"search_terms":["model","checking","linear","logic","specifications","bozzano","delzanno","martelli"],"title":"Model Checking Linear Logic Specifications","year":2004}