Temporal logic as a programming language - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stephan Merz. Temporal logic as a programming language. PhD thesis, Ludwig Maximilian University of Munich, Germany, 1992. [doi]

@phdthesis{dnb-13853,
  title = {Temporal logic as a programming language},
  author = {Stephan Merz},
  year = {1992},
  url = {http://d-nb.info/921537867},
  researchr = {https://researchr.org/publication/dnb-13853},
  cites = {0},
  citedby = {0},
  school = {Ludwig Maximilian University of Munich, Germany},
}

runs on WebDSL