%0 Journal Article %1 journals/fmsd/FantechiGR94 %A Fantechi, Alessandro %A Gnesi, Stefania %A Ristori, Gioia %D 1994 %J Formal Methods Syst. Des. %K dblp %N 2 %P 187-203 %T Model Checking for Action-Based Logics. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd4.html#FantechiGR94 %V 4

@article{journals/fmsd/FantechiGR94, added-at = {2020-03-13T00:00:00.000+0100}, author = {Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia}, biburl = {https://www.bibsonomy.org/bibtex/2cc7b79e4ce2b032101a4091029fd4b80/dblp}, ee = {https://doi.org/10.1007/BF01384084}, interhash = {bb9952cf8773f643ff84a20ad3dfb84c}, intrahash = {cc7b79e4ce2b032101a4091029fd4b80}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {187-203}, timestamp = {2020-03-14T11:51:24.000+0100}, title = {Model Checking for Action-Based Logics.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd4.html#FantechiGR94}, volume = 4, year = 1994 }