Dynamic Linear Time Temporal Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jesper G. Henriksen, P. S. Thiagarajan. Dynamic Linear Time Temporal Logic. Annals of Pure and Applied Logic, 96(1-3):187-207, 1999.

@article{HenriksenT99,
  title = {Dynamic Linear Time Temporal Logic},
  author = {Jesper G. Henriksen and P. S. Thiagarajan},
  year = {1999},
  tags = {logic},
  researchr = {https://researchr.org/publication/HenriksenT99},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {96},
  number = {1-3},
  pages = {187-207},
}

runs on WebDSL