AndrePR01'

BibTeX

@inproceedings{DBLP:conf/isorc/AndrePR01,
  author    = {Charles Andr{\'e} and
               Marie-Agn{\'e}s P{\'e}raldi and
               Jean-Paul Rigault},
  title     = {Scenario and Property Checking of Real-Time Systems Using
               a Synchronous Approach},
  booktitle = {ISORC},
  year      = {2001},
  pages     = {438-},
  ee        = {http://csdl.computer.org/comp/proceedings/isorc/2001/1089/00/10890438abs.htm},
  crossref  = {DBLP:conf/isorc/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isorc/2001,
  title     = {4th International Symposium on Object-Oriented Real-Time
               Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg,
               Germany},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1089-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}