Main.Reference History

Hide minor edits - Show changes to output - Cancel

Changed lines 4-36 from:
@inproceedings{DBLP:conf/cav/CavadaCDGMMMRT14,\\
  author    = {Roberto Cavada and\\
              Alessandro Cimatti and\\
              Michele Dorigatti and\\
              Alberto Griggio and\\
              Alessandro Mariotti and\\
              Andrea Micheli and\\
              Sergio Mover and\\
              Marco Roveri and\\
              Stefano Tonetta},\\
  title    = {The nuXmv Symbolic Model Checker},\\
  booktitle = {CAV},\\
  year      = {2014},\\
  pages    = {334-342},\\
  ee        = {http://dx.doi.org/10.1007/978-3-319-08867-9_22},\\
  crossref  = {DBLP:conf/cav/2014},\\
  bibsource = {DBLP, http://dblp.uni-trier.de}\\
}\\
@proceedings{DBLP:conf/cav/2014,\\
  editor    = {Armin Biere and\\
              Roderick Bloem},\\
  title    = {Computer Aided Verification - 26th International Conference,\\
              CAV 2014, Held as Part of the Vienna Summer of Logic, VSL\\
              2014, Vienna, Austria, July 18-22, 2014. Proceedings},\\
  booktitle = {CAV},\\
  publisher = {Springer},\\
  series    = {Lecture Notes in Computer Science},\\
  volume    = {8559},\\
  year      = {2014},\\
  isbn      = {978-3-319-08866-2},\\
  ee        = {http://dx.doi.org/10.1007/978-3-319-08867-9},\\
  bibsource = {DBLP, http://dblp.uni-trier.de}\\
}\\
to:
@inproceedings{DBLP:conf/cav/CavadaCDGMMMRT14,
  author    = {Roberto Cavada and
              Alessandro Cimatti and
              Michele Dorigatti and
              Alberto Griggio and
              Alessandro Mariotti and
              Andrea Micheli and
              Sergio Mover and
              Marco Roveri and
              Stefano Tonetta},
  title    = {The nuXmv Symbolic Model Checker},
  booktitle = {CAV},
  year      = {2014},
  pages    = {334-342},
  ee        = {http://dx.doi.org/10.1007/978-3-319-08867-9_22},
  crossref  = {DBLP:conf/cav/2014},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cav/2014,
  editor    = {Armin Biere and
              Roderick Bloem},
  title    = {Computer Aided Verification - 26th International Conference,
              CAV 2014, Held as Part of the Vienna Summer of Logic, VSL
              2014, Vienna, Austria, July 18-22, 2014. Proceedings},
  booktitle = {CAV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8559},
  year      = {2014},
  isbn      = {978-3-319-08866-2},
  ee        = {http://dx.doi.org/10.1007/978-3-319-08867-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Changed line 3 from:
@[
to:
[@
Added line 3:
@[
Added line 37:
@]
Changed lines 3-9 from:
@techreport{nuxmv-reference,\\
title = {{The nuXmv Symbolic Model Checker}},\\
author = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Alberto Griggio and Marco Roveri and Stefano Tonetta},\\
organization = {Fondazione Bruno Kessler},\\
year = 2014,\\
month = feb\\
}
to:
@inproceedings{DBLP:conf/cav/CavadaCDGMMMRT14,\\
  author    = {Roberto Cavada and\\
              Alessandro Cimatti and\\
              Michele Dorigatti and\\
              Alberto Griggio and\\
              Alessandro Mariotti and\\
              Andrea Micheli and\\
              Sergio Mover and\\
              Marco Roveri and\\
              Stefano Tonetta},\\
  title    = {The nuXmv Symbolic Model Checker},\\
  booktitle = {CAV},\\
  year      = {2014},\\
  pages    = {334-342},\\
  ee        = {http://dx.doi.org/10.1007/978-3-319-08867-9_22},\\
  crossref  = {DBLP:conf/cav/2014},\\
  bibsource = {DBLP, http://dblp.uni-trier.de}\\
}\\
@proceedings{DBLP:conf/cav/2014,\\
  editor    = {Armin Biere and\\
              Roderick Bloem},\\
  title    = {Computer Aided Verification - 26th International Conference,\\
              CAV 2014, Held as Part of the Vienna Summer of Logic, VSL\\
              2014, Vienna, Austria, July 18-22, 2014. Proceedings},\\
  booktitle = {CAV},\\
  publisher = {Springer},\\
  series    = {Lecture Notes in Computer Science},\\
  volume    = {8559},\\
  year      = {2014},\\
  isbn      = {978-3-319-08866-2},\\
  ee        = {http://dx.doi.org/10.1007/978-3-319-08867-9},\\
  bibsource = {DBLP, http://dblp.uni-trier.de}\\
}\\
Changed line 8 from:
month = feb,\\
to:
month = feb\\
Changed line 5 from:
author = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Alberto Griggio and Marco Roveri and S. Tonetta},\\
to:
author = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Alberto Griggio and Marco Roveri and Stefano Tonetta},\\
Changed line 9 from:
}\\
to:
}
Changed lines 3-9 from:
@techreport{nuxmv-reference,
title = {{The nuXmv Symbolic Model Checker}},
author = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Alberto Griggio and Marco Roveri and S. Tonetta},
organization = {Fondazione Bruno Kessler},
year = 2014,
month = feb,
}
to:
@techreport{nuxmv-reference,\\
title = {{The nuXmv Symbolic Model Checker}},\\
author = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Alberto Griggio and Marco Roveri and S. Tonetta},\\
organization = {Fondazione Bruno Kessler},\\
year = 2014,\\
month = feb,\\
}\\
Added lines 1-9:
(:title nuXmv Reference :)

@techreport{nuxmv-reference,
title = {{The nuXmv Symbolic Model Checker}},
author = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Alberto Griggio and Marco Roveri and S. Tonetta},
organization = {Fondazione Bruno Kessler},
year = 2014,
month = feb,
}