BibTeX record conf/nfm/WangT09

download as .bib file

@inproceedings{DBLP:conf/nfm/WangT09,
  author    = {Yi Wang and
               Tetsuo Tamai},
  title     = {A Game-Theoretic Approach to Branching Time Abstract-Check-Refine
               Process},
  booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
               California, USA, April 6-8, 2009.},
  pages     = {26--35},
  year      = {2009},
  crossref  = {DBLP:conf/nfm/2009},
  timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/WangT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2009,
  editor    = {Ewen Denney and
               Dimitra Giannakopoulou and
               Corina S. Pasareanu},
  title     = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
               California, USA, April 6-8, 2009},
  series    = {{NASA} Conference Proceedings},
  volume    = {{NASA/CP-2009-215407}},
  year      = {2009},
  timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics