DBLP Record 'conf/tacas/AmnellFMPY02'

BibTeX

@inproceedings{DBLP:conf/tacas/AmnellFMPY02,
  author    = {Tobias Amnell and
               Elena Fersman and
               Leonid Mokrushin and
               Paul Pettersson and
               Wang Yi},
  title     = {TIMES - A Tool for Modelling and Implementation of Embedded
               Systems},
  booktitle = {TACAS},
  year      = {2002},
  pages     = {460-464},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2280/22800460.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}
}