%0 Journal Article %1 journals/ase/FranceschetMR04 %A Franceschet, Massimo %A Montanari, Angelo %A de Rijke, Maarten %D 2004 %J Autom. Softw. Eng. %K dblp %N 3 %P 289-321 %T Model Checking for Combined Logics with an Application to Mobile Systems. %U http://dblp.uni-trier.de/db/journals/ase/ase11.html#FranceschetMR04 %V 11

@article{journals/ase/FranceschetMR04, added-at = {2011-05-18T00:00:00.000+0200}, author = {Franceschet, Massimo and Montanari, Angelo and de Rijke, Maarten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26e1b8fb48547d14a92672b39be6ee57d/dblp}, ee = {http://dx.doi.org/10.1023/B:AUSE.0000028537.84347.9c}, interhash = {73608d3fd5ec564d5f2c106d6b045e81}, intrahash = {6e1b8fb48547d14a92672b39be6ee57d}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 3, pages = {289-321}, timestamp = {2016-02-02T10:13:31.000+0100}, title = {Model Checking for Combined Logics with an Application to Mobile Systems.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase11.html#FranceschetMR04}, volume = 11, year = 2004 }