DBLP Record 'conf/forte/Sifakis95'

BibTeX

@inproceedings{DBLP:conf/forte/Sifakis95,
  author    = {Joseph Sifakis},
  title     = {Specification and Verification of Timed Systems},
  booktitle = {FORTE},
  year      = {1995},
  pages     = {3-4},
  crossref  = {DBLP:conf/forte/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1995,
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Omar Rafiq},
  title     = {Formal Description Techniques VIII, Proceedings of the IFIP
               TC6 Eighth International Conference on Formal Description
               Techniques, Montreal, Canada, October 1995},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {43},
  year      = {1996},
  isbn      = {0-412-73270-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}