diff --git a/doc/spot.bib b/doc/spot.bib index ddfd746d8..173567c15 100644 --- a/doc/spot.bib +++ b/doc/spot.bib @@ -85,7 +85,7 @@ Structures - 14th International Conference, FOSSACS 2011}, year = {2011}, pages = {184--198}, - url = {\url{www.cs.huji.ac.il/~ornak/publications/fossacs11b.pdf}} + url = {http://www.cs.huji.ac.il/~ornak/publications/fossacs11b.pdf} } @Article{ bruggeman.96.tcs, @@ -155,7 +155,7 @@ volume = 27, year = 2008, date = {2009-03-20}, - note = {\url{https://es.fbk.eu/people/tonetta/tests/tcad07/}} + url = {https://es.fbk.eu/people/tonetta/tests/tcad07/} } @Article{ courcoubetis.92.fmsd, @@ -569,7 +569,7 @@ publisher = {Accellera}, year = {2004}, month = jun, - note = {\url{http://www.eda.org/vfv/}} + url = {http://www.eda.org/vfv/} } @InProceedings{ renault.13.tacas,