DBLP Record 'conf/tacas/ArmoniFFGGKLMSTVZ02'

BibTeX

@inproceedings{DBLP:conf/tacas/ArmoniFFGGKLMSTVZ02,
  author    = {Roy Armoni and
               Limor Fix and
               Alon Flaisher and
               Rob Gerth and
               Boris Ginsburg and
               Tomer Kanza and
               Avner Landver and
               Sela Mador-Haim and
               Eli Singerman and
               Andreas Tiemeyer and
               Moshe Y. Vardi and
               Yael Zbar},
  title     = {The ForSpec Temporal Logic: A New Temporal Property-Specification
               Language},
  booktitle = {TACAS},
  year      = {2002},
  pages     = {296-211},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2280/22800296.htm},
  crossref  = {DBLP:conf/tacas/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/2002,
  editor    = {Joost-Pieter Katoen and
               Perdita Stevens},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 8th International Conference, TACAS 2002, Held
               as Part of the Joint European Conference on Theory and Practice
               of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002,
               Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2280},
  year      = {2002},
  isbn      = {3-540-43419-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}