@article{DBLP:journals/fmsd/FantechiGR94,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Gioia Ristori},
  title        = {Model Checking for Action-Based Logics},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {2},
  pages        = {187--203},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384084},
  doi          = {10.1007/BF01384084},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FantechiGR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QdCFE883NqrXLa7z9","bibbaseid":"fantechi-gnesi-ristori-modelcheckingforactionbasedlogics-1994","author_short":["Fantechi, A.","Gnesi, S.","Ristori, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Fantechi"],"suffixes":[]},{"firstnames":["Stefania"],"propositions":[],"lastnames":["Gnesi"],"suffixes":[]},{"firstnames":["Gioia"],"propositions":[],"lastnames":["Ristori"],"suffixes":[]}],"title":"Model Checking for Action-Based Logics","journal":"Formal Methods Syst. Des.","volume":"4","number":"2","pages":"187–203","year":"1994","url":"https://doi.org/10.1007/BF01384084","doi":"10.1007/BF01384084","timestamp":"Fri, 13 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/fmsd/FantechiGR94.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fmsd/FantechiGR94,\n author = {Alessandro Fantechi and\n Stefania Gnesi and\n Gioia Ristori},\n title = {Model Checking for Action-Based Logics},\n journal = {Formal Methods Syst. Des.},\n volume = {4},\n number = {2},\n pages = {187--203},\n year = {1994},\n url = {https://doi.org/10.1007/BF01384084},\n doi = {10.1007/BF01384084},\n timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/fmsd/FantechiGR94.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fantechi, A.","Gnesi, S.","Ristori, G."],"key":"DBLP:journals/fmsd/FantechiGR94","id":"DBLP:journals/fmsd/FantechiGR94","bibbaseid":"fantechi-gnesi-ristori-modelcheckingforactionbasedlogics-1994","role":"author","urls":{"Paper":"https://doi.org/10.1007/BF01384084"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/8dcZxrQZq7v9e9Qc4","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ"],"keywords":[],"search_terms":["model","checking","action","based","logics","fantechi","gnesi","ristori"],"title":"Model Checking for Action-Based Logics","year":1994}