As finding external papers referenced in
cau-rt.bib can be tedious, the Rtsys Group maintains a digital library under
/home/biblio/library. Note that some of these works may be copyrighted. Generally, they are for strictly personal/scientific use.
Working With the Digital Library
Files and File NamingThe papers stored in the Digital Library (DL) should be a subset of the papers indexed in the bibliography file
cau-rt.bib. The general naming convention is
<bibkey>.pdf. For example, Harel's classic Statechart paper has the key Harel87 and is in file
If you add an entry to
cau-rt.bib you should put the referenced paper under
/home/biblio/library named as
<bibkey>.pdf. This can be simplified by using a simple shell function. The following can be added to your personal
Furthermore you should add a 'DL' (after your login and the date of adding the entry) to the corresponding BibTeX entry to make clear that the paper can be found in the digital library, and the URL from where you downloaded it. Example:
If you want to retrieve a stored paper the following shell function might help:
Now getpaper abcd fetches
abcd.pdf from the library and puts it in your current working directory.