@inproceedings{DBLP:conf/fossacs/AcetoI99,
  author    = {Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {Testing Hennessy-Milner Logic with Recursion},
  booktitle = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  pages     = {41--55},
  year      = {1999},
  crossref  = {DBLP:conf/fossacs/1999},
  url       = {https://doi.org/10.1007/3-540-49019-1\_4},
  doi       = {10.1007/3-540-49019-1\_4},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/AcetoI99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Qp6M7FX9arQRgcWHF","bibbaseid":"aceto-inglfsdttir-testinghennessymilnerlogicwithrecursion-1999","downloads":0,"creationDate":"2016-02-18T15:10:12.497Z","title":"Testing Hennessy-Milner Logic with Recursion","author_short":["Aceto, L.","Ingólfsdóttir, A."],"year":1999,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"title":"Testing Hennessy-Milner Logic with Recursion","booktitle":"Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings","pages":"41–55","year":"1999","crossref":"DBLP:conf/fossacs/1999","url":"https://doi.org/10.1007/3-540-49019-1_4","doi":"10.1007/3-540-49019-1_4","timestamp":"Tue, 23 May 2017 14:54:57 +0200","biburl":"https://dblp.org/rec/bib/conf/fossacs/AcetoI99","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fossacs/AcetoI99,\n author = {Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {Testing Hennessy-Milner Logic with Recursion},\n booktitle = {Foundations of Software Science and Computation Structure, Second\n International Conference, FoSSaCS'99, Held as Part of the European\n Joint Conferences on the Theory and Practice of Software, ETAPS'99,\n Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},\n pages = {41--55},\n year = {1999},\n crossref = {DBLP:conf/fossacs/1999},\n url = {https://doi.org/10.1007/3-540-49019-1\\_4},\n doi = {10.1007/3-540-49019-1\\_4},\n timestamp = {Tue, 23 May 2017 14:54:57 +0200},\n biburl = {https://dblp.org/rec/bib/conf/fossacs/AcetoI99},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Ingólfsdóttir, A."],"key":"DBLP:conf/fossacs/AcetoI99","id":"DBLP:conf/fossacs/AcetoI99","bibbaseid":"aceto-inglfsdttir-testinghennessymilnerlogicwithrecursion-1999","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-49019-1_4"},"downloads":0},"search_terms":["testing","hennessy","milner","logic","recursion","aceto","ingólfsdóttir"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}