Date: Tue, 19 Mar 2024 06:11:55 +0000 (UTC) Message-ID: <750281254.6061.1710828715112@2f9704fbf185> Subject: Exported From Confluence MIME-Version: 1.0 Content-Type: multipart/related; boundary="----=_Part_6060_1902355797.1710828715112" ------=_Part_6060_1902355797.1710828715112 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Location: file:///C:/exported.html
As finding external papers referenced in cau-rt.bib
can be =
tedious, the Rtsys Group maintains a digital library under /home/bibl=
io/library
. Note that some of these works may be copyrighted. Genera=
lly, they are for strictly personal/scientific use.
cau-rt.bib
. The general namin=
g convention is <bibkey>.pdf
. For example, Harel's class=
ic Statechart paper has the key Harel87 and is in file Harel=
87.pdf
.
If you add an entry to cau-rt.bib
you should put the refere=
nced paper under /home/biblio/library
named as <bibke=
y>.pdf
. This can be simplified by using a simple shell function. =
The following can be added to your personal .bashrc
:
putpape= r() { scp $1.pdf biblio@...:./library; }=20
abcd.pdf
to /home/biblio=
/library
.
Furthermore you should add a 'DL' (after your login and the date of addi= ng the entry) to the corresponding BibTeX entry to make clear that the pape= r can be found in the digital library, and the URL from where you downloade= d it. Example:
% rvh 2= 003-08-22 DL % http://www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/Sta= techarts.pdf @Article{Harel87, ...=20
If you want to retrieve a stored paper the following shell function migh= t help:
getpape= r() { scp biblio@...:./library/$1.pdf .; }=20
Now getpaper abcd fetches abcd.pdf
from the library and put=
s it in your current working directory.