DBLP Record 'conf/date/MousaviGTSB04'

BibTeX

@inproceedings{DBLP:conf/date/MousaviGTSB04,
  author    = {Mohammad Reza Mousavi and
               Paul Le Guernic and
               Jean-Pierre Talpin and
               Sandeep K. Shukla and
               Twan Basten},
  title     = {Modeling and Validating Globally Asynchronous Design in
               Synchronous Frameworks},
  booktitle = {DATE},
  year      = {2004},
  pages     = {384-389},
  ee        = {http://csdl.computer.org/comp/proceedings/date/2004/2085/01/208510384abs.htm},
  crossref  = {DBLP:conf/date/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/date/2004,
  title     = {2004 Design, Automation and Test in Europe Conference and
               Exposition (DATE 2004), 16-20 February 2004, Paris, France},
  booktitle = {DATE},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2085-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}