Model Checking for Action-Based Logics. Fantechi, A., Gnesi, S., & Ristori, G. Formal Methods Syst. Des., 4(2):187–203, 1994. Paper doi bibtex @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}
}
Downloads: 0
{"_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}