An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. De Nicola, R., Fantechi, A., Gnesi, S., & Ristori, G. Computer Networks and ISDN Systems, 25(7):761–778, 1993. Paper doi bibtex @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}
}
Downloads: 0
{"_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"]}