alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/spot.bib: Fix some urls.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-07-08 16:11:20 +02:00
parent 5af4612eda
commit 396dcabd7d
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
doc/spot.bib
View file

@ -85,7 +85,7 @@
Structures - 14th International Conference, FOSSACS 2011}, Structures - 14th International Conference, FOSSACS 2011},
year = {2011}, year = {2011},
pages = {184--198}, 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, @Article{ bruggeman.96.tcs,
@ -155,7 +155,7 @@
volume = 27, volume = 27,
year = 2008, year = 2008,
date = {2009-03-20}, 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, @Article{ courcoubetis.92.fmsd,
@ -569,7 +569,7 @@
publisher = {Accellera}, publisher = {Accellera},
year = {2004}, year = {2004},
month = jun, month = jun,
note = {\url{http://www.eda.org/vfv/}} url = {http://www.eda.org/vfv/}
} }
@InProceedings{ renault.13.tacas, @InProceedings{ renault.13.tacas,