Symbolic timing diagrams: a visual formalism for model verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Rainer Schlör. Symbolic timing diagrams: a visual formalism for model verification. PhD thesis, University of Oldenburg, Germany, 2002. [doi]

@phdthesis{dnb-14360,
  title = {Symbolic timing diagrams: a visual formalism for model verification},
  author = {Rainer Schlör},
  year = {2002},
  url = {http://d-nb.info/964297442},
  researchr = {https://researchr.org/publication/dnb-14360},
  cites = {0},
  citedby = {0},
  school = {University of Oldenburg, Germany},
}

runs on WebDSL