BensalemKMRT07'

BibTeX

@inproceedings{DBLP:conf/isola/BensalemKMRT07,
  author    = {Saddek Bensalem and
               Moez Krichen and
               Lotfi Majdoub and
               Riadh Robbana and
               Stavros Tripakis},
  title     = {A Simplified Approach for Testing Real-Time Systems Based
               on Action Refinement},
  booktitle = {ISoLA},
  year      = {2007},
  pages     = {191-202},
  crossref  = {DBLP:conf/isola/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isola/2007,
  editor    = {Yamine A\"{\i}t Ameur and
               Fr{\'e}d{\'e}ric Boniol and
               Virginie Wiels},
  title     = {ISoLA 2007, Workshop On Leveraging Applications of Formal
               Methods, Verification and Validation, Poitiers-Futuroscope,
               France, December 12-14, 2007},
  booktitle = {ISoLA},
  publisher = {C{\'e}padu{\`e}s-{\'E}ditions},
  series    = {Revue des Nouvelles Technologies de l'Information},
  volume    = {RNTI-SM-1},
  year      = {2007},
  isbn      = {978-2-85428-814-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}