Model Checking Existential Logic on Partially Ordered Sets (bibtex)
by , ,
Reference:
Model Checking Existential Logic on Partially Ordered SetsSimone Bova, Robert Ganian, Stefan SzeiderACM Transactions on Computational Logic, volume 17, number 2, 2016.
Bibtex Entry:
@string{acmtcl="ACM Transactions on Computational Logic"}
@article{BovaGanianSzeider16,
    author = {Simone Bova and Robert Ganian and Stefan Szeider},
     title = {Model Checking Existential Logic on Partially Ordered Sets},
   journal = ACMTCL,
      year = {2016},
      number = {2},
      volume = {17},
      keywords = {compile},
      url = {http://dx.doi.org/10.1145/2814937},
}
Powered by bibtexbrowser