Commit 904690ec authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Bib update.

parent 2c0b9010
......@@ -1810,7 +1810,7 @@
@Manual{bison,
title = "Bison",
author = "Charles Donnelly and Richard Stallman",
year = "2005",
year = "2015",
URL = "http://www.gnu.org/software/bison/manual/",
}
......@@ -8311,16 +8311,6 @@
URL = "http://unicon.sourceforge.net/merr/merrguid.pdf",
}
@Unpublished{merr-02,
author = "Clinton L. Jeffery",
title = "Merr User's Guide",
note = "Available online",
OPTkey = "",
OPTyear = "2002",
OPTannote = "",
URL = "http://unicon.sourceforge.net/merr/merrguid.pdf",
}
@InProceedings{merz-00,
author = "Stephan Merz",
title = "Model Checking: {A} Tutorial Overview",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment