RusW97'

BibTeX

@inproceedings{DBLP:conf/arts/RusW97,
  author    = {Teodor Rus and
               Eric Van Wyk},
  title     = {Integrating Temporal Logics and Model Checking Algorithms},
  booktitle = {ARTS},
  year      = {1997},
  pages     = {95-110},
  crossref  = {DBLP:conf/arts/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/arts/1997,
  editor    = {Miquel Bertran and
               Teodor Rus},
  title     = {Transformation-Based Reactive Systems Development, 4th International
               AMAST Workshop on Real-Time Systems and Concurrent and Distributed
               Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997,
               Proceedings},
  booktitle = {ARTS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1231},
  year      = {1997},
  isbn      = {3-540-63010-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}