DBLP BibTeX Record 'conf/arts/1999'

@proceedings{DBLP:conf/arts/1999,
  editor    = {Joost-Pieter Katoen},
  title     = {Formal Methods for Real-Time and Probabilistic Systems,
               5th International AMAST Workshop, ARTS'99, Bamberg, Germany,
               May 26-28, 1999. Proceedings},
  booktitle = {ARTS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1601},
  year      = {1999},
  isbn      = {3-540-66010-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}