Tableau-based bisimulation invariance testing - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Tin Perkov. Tableau-based bisimulation invariance testing. Reports on Mathematical Logic, 48:101-115, 2013. [doi]

@article{Perkov13,
  title = {Tableau-based bisimulation invariance testing},
  author = {Tin Perkov},
  year = {2013},
  url = {http://rml.tcs.uj.edu.pl/rml-48/5-perkov.pdf},
  researchr = {https://researchr.org/publication/Perkov13},
  cites = {0},
  citedby = {0},
  journal = {Reports on Mathematical Logic},
  volume = {48},
  pages = {101-115},
}

runs on WebDSL