Testing Hennessy-Milner Logic with Recursion. Aceto, L. and Ingólfsdóttir, A. In 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, 1999.
Testing Hennessy-Milner Logic with Recursion [link]Paper  doi  bibtex   
@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}
}
Downloads: 0