DembinskiJJPPSWZ03'

BibTeX

@inproceedings{DBLP:conf/tacas/DembinskiJJPPSWZ03,
  author    = {Piotr Dembinski and
               Agata Janowska and
               Pawel Janowski and
               Wojciech Penczek and
               Agata P{\'o}lrola and
               Maciej Szreter and
               Bozena Wozna and
               Andrzej Zbrzezny},
  title     = {Verics: A Tool for Verifying Timed Automata and Estelle
               Specifications},
  booktitle = {TACAS},
  year      = {2003},
  pages     = {278-283},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2619/26190278.htm},
  crossref  = {DBLP:conf/tacas/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/2003,
  editor    = {Hubert Garavel and
               John Hatcliff},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 9th International Conference, TACAS 2003, Held
               as Part of the Joint European Conferences on Theory and
               Practice of Software, ETAPS 2003, Warsaw, Poland, April
               7-11, 2003, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2619},
  year      = {2003},
  isbn      = {3-540-00898-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}