Interleaving Set Temporal Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Shmuel Katz, Doron Peled. Interleaving Set Temporal Logic. Theoretical Computer Science, 75(3):263-287, 1990.

@article{KatzP90:0,
  title = {Interleaving Set Temporal Logic},
  author = {Shmuel Katz and Doron Peled},
  year = {1990},
  tags = {logic},
  researchr = {https://researchr.org/publication/KatzP90%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {75},
  number = {3},
  pages = {263-287},
}

runs on WebDSL