Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR) (bibtex)
by Unknown
Reference:
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR) (Boris Konev, Josef Urban, Philipp Rümmer, eds.), 2018.
Bibtex Entry:
@proceedings{PAAR2018,
  booktitle = {6th Workshop on Practical Aspects of Automated Reasoning (PAAR)},
  title = {Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR)},
  year = 2018,
  editor = {Boris Konev and Josef Urban and Philipp Rümmer},
  number = 2162,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2162/},
  venue = {Oxford, UK},
  eventdate = {2018-07-19},
}
Powered by bibtexbrowser