BibTeX record conf/isola/ShahbazG07

• > Home > conf/isola/ShahbazG07

@inproceedings{DBLP:conf/isola/ShahbazG07,
  author       = {Muzammil Shahbaz and
                  Roland Groz},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Fr{\'{e}}d{\'{e}}ric Boniol and
                  Virginie Wiels},
  title        = {Using Invariant Detection Mechanism in Black Box Inference},
  booktitle    = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
                  Verification and Validation, Poitiers-Futuroscope, France, December
                  12-14, 2007},
  series       = {Revue des Nouvelles Technologies de l'Information},
  volume       = {{RNTI-SM-1}},
  pages        = {215--222},
  publisher    = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year         = {2007},
  url          = {http://editions-rnti.fr/?inprocid=1000547},
  timestamp    = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/ShahbazG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}