Skip to main content

Relational and algebraic methods in computer science (proceedings)

Authors

Peter Hoefner, Damien Pous and Georg Struth

CNRS
ENS Lyon

DATA61

The University of Sheffield

Abstract

BibTeX Entry

  @conference{Hoefner_PS_17,
    publisher        = {Springer},
    doi              = {10.1007/978-3-319-57418-9},
    series           = {Lecture Notes in Computer Science 10226},
    booktitle        = {Relational and Algebraic Methods in Computer Science},
    author           = {Hoefner, Peter and Pous, Damien and Struth, Georg},
    month            = may,
    year             = {2017},
    date             = {2017-5-15},
    title            = {Relational and Algebraic Methods in Computer Science (Proceedings)},
    address          = {Lyon, France}
  }

Download

Served by Apache on Linux on seL4.