On Verifying Hennessy-Milner Logic with Recursion at Runtime. Francalanza, A., Aceto, L., & Ingólfsdóttir, A. In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pages 71–86, 2015. Paper doi bibtex @inproceedings{DBLP:conf/rv/FrancalanzaAI15,
author = {Adrian Francalanza and
Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On Verifying Hennessy-Milner Logic with Recursion at Runtime},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
pages = {71--86},
year = {2015},
crossref = {DBLP:conf/rv/2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_5},
doi = {10.1007/978-3-319-23820-3\_5},
timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
biburl = {https://dblp.org/rec/bib/conf/rv/FrancalanzaAI15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"zD4sbzj2eNcjAdPQK","bibbaseid":"francalanza-aceto-inglfsdttir-onverifyinghennessymilnerlogicwithrecursionatruntime-2015","downloads":0,"creationDate":"2016-02-18T15:10:12.067Z","title":"On Verifying Hennessy-Milner Logic with Recursion at Runtime","author_short":["Francalanza, A.","Aceto, L.","Ingólfsdóttir, A."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Adrian"],"propositions":[],"lastnames":["Francalanza"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"title":"On Verifying Hennessy-Milner Logic with Recursion at Runtime","booktitle":"Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings","pages":"71–86","year":"2015","crossref":"DBLP:conf/rv/2015","url":"https://doi.org/10.1007/978-3-319-23820-3_5","doi":"10.1007/978-3-319-23820-3_5","timestamp":"Mon, 05 Jun 2017 12:42:13 +0200","biburl":"https://dblp.org/rec/bib/conf/rv/FrancalanzaAI15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rv/FrancalanzaAI15,\n author = {Adrian Francalanza and\n Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {On Verifying Hennessy-Milner Logic with Recursion at Runtime},\n booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,\n Austria, September 22-25, 2015. Proceedings},\n pages = {71--86},\n year = {2015},\n crossref = {DBLP:conf/rv/2015},\n url = {https://doi.org/10.1007/978-3-319-23820-3\\_5},\n doi = {10.1007/978-3-319-23820-3\\_5},\n timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},\n biburl = {https://dblp.org/rec/bib/conf/rv/FrancalanzaAI15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Francalanza, A.","Aceto, L.","Ingólfsdóttir, A."],"key":"DBLP:conf/rv/FrancalanzaAI15","id":"DBLP:conf/rv/FrancalanzaAI15","bibbaseid":"francalanza-aceto-inglfsdttir-onverifyinghennessymilnerlogicwithrecursionatruntime-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-23820-3_5"},"downloads":0},"search_terms":["verifying","hennessy","milner","logic","recursion","runtime","francalanza","aceto","ingólfsdóttir"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Efw79Fxo6HR8p6xBt"]}