@article{DBLP:journals/tcs/NicolaKLLM07,
  author    = {Rocco De Nicola and
               Joost{-}Pieter Katoen and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Model checking mobile stochastic logic},
  journal   = {Theor. Comput. Sci.},
  volume    = {382},
  number    = {1},
  pages     = {42--70},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2007.05.008},
  doi       = {10.1016/j.tcs.2007.05.008},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/NicolaKLLM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fZApyACW46DsBv93X","bibbaseid":"nicola-katoen-latella-loreti-massink-modelcheckingmobilestochasticlogic-2007","authorIDs":[],"author_short":["Nicola, R. D.","Katoen, J.","Latella, D.","Loreti, M.","Massink, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Joost-Pieter"],"propositions":[],"lastnames":["Katoen"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Latella"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]},{"firstnames":["Mieke"],"propositions":[],"lastnames":["Massink"],"suffixes":[]}],"title":"Model checking mobile stochastic logic","journal":"Theor. Comput. Sci.","volume":"382","number":"1","pages":"42–70","year":"2007","url":"https://doi.org/10.1016/j.tcs.2007.05.008","doi":"10.1016/j.tcs.2007.05.008","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tcs/NicolaKLLM07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcs/NicolaKLLM07,\n author = {Rocco De Nicola and\n Joost{-}Pieter Katoen and\n Diego Latella and\n Michele Loreti and\n Mieke Massink},\n title = {Model checking mobile stochastic logic},\n journal = {Theor. Comput. Sci.},\n volume = {382},\n number = {1},\n pages = {42--70},\n year = {2007},\n url = {https://doi.org/10.1016/j.tcs.2007.05.008},\n doi = {10.1016/j.tcs.2007.05.008},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tcs/NicolaKLLM07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nicola, R. D.","Katoen, J.","Latella, D.","Loreti, M.","Massink, M."],"key":"DBLP:journals/tcs/NicolaKLLM07","id":"DBLP:journals/tcs/NicolaKLLM07","bibbaseid":"nicola-katoen-latella-loreti-massink-modelcheckingmobilestochasticlogic-2007","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.tcs.2007.05.008"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.610Z","downloads":0,"keywords":[],"search_terms":["model","checking","mobile","stochastic","logic","nicola","katoen","latella","loreti","massink"],"title":"Model checking mobile stochastic logic","year":2007,"dataSources":["FxajFA698pihqBfpX"]}