@article{DBLP:journals/cn/NicolaFGR93,
  author    = {Rocco {De Nicola} and
               Alessandro Fantechi and
               Stefania Gnesi and
               Gioia Ristori},
  title     = {An Action-Based Framework for Verifying Logical and Behavioural Properties
               of Concurrent Systems},
  journal   = {Computer Networks and {ISDN} Systems},
  volume    = {25},
  number    = {7},
  pages     = {761--778},
  year      = {1993},
  url       = {https://doi.org/10.1016/0169-7552(93)90047-8},
  doi       = {10.1016/0169-7552(93)90047-8},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/cn/NicolaFGR93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"8LexF8usyHQwAuYzo","bibbaseid":"denicola-fantechi-gnesi-ristori-anactionbasedframeworkforverifyinglogicalandbehaviouralpropertiesofconcurrentsystems-1993","authorIDs":["xMtf3sJqpfDS3bpdB"],"author_short":["De Nicola, R.","Fantechi, A.","Gnesi, S.","Ristori, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Fantechi"],"suffixes":[]},{"firstnames":["Stefania"],"propositions":[],"lastnames":["Gnesi"],"suffixes":[]},{"firstnames":["Gioia"],"propositions":[],"lastnames":["Ristori"],"suffixes":[]}],"title":"An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems","journal":"Computer Networks and ISDN Systems","volume":"25","number":"7","pages":"761–778","year":"1993","url":"https://doi.org/10.1016/0169-7552(93)90047-8","doi":"10.1016/0169-7552(93)90047-8","timestamp":"Mon, 05 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/cn/NicolaFGR93.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/cn/NicolaFGR93,\n author = {Rocco {De Nicola} and\n Alessandro Fantechi and\n Stefania Gnesi and\n Gioia Ristori},\n title = {An Action-Based Framework for Verifying Logical and Behavioural Properties\n of Concurrent Systems},\n journal = {Computer Networks and {ISDN} Systems},\n volume = {25},\n number = {7},\n pages = {761--778},\n year = {1993},\n url = {https://doi.org/10.1016/0169-7552(93)90047-8},\n doi = {10.1016/0169-7552(93)90047-8},\n timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/cn/NicolaFGR93.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Nicola, R.","Fantechi, A.","Gnesi, S.","Ristori, G."],"key":"DBLP:journals/cn/NicolaFGR93","id":"DBLP:journals/cn/NicolaFGR93","bibbaseid":"denicola-fantechi-gnesi-ristori-anactionbasedframeworkforverifyinglogicalandbehaviouralpropertiesofconcurrentsystems-1993","role":"author","urls":{"Paper":"https://doi.org/10.1016/0169-7552(93)90047-8"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-05-13T16:09:46.842Z","downloads":0,"keywords":[],"search_terms":["action","based","framework","verifying","logical","behavioural","properties","concurrent","systems","de nicola","fantechi","gnesi","ristori"],"title":"An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems","year":1993,"dataSources":["FxajFA698pihqBfpX"]}