| Web-Page: | PVS: Alexander Sinsel's Publications |
| Located at: | http://pvs.informatik.uni-heidelberg.de/sinsel/publications.html |
Please find here the list of publications of Alexander Sinsel.
For easy citation via LaTeX/BibTeX get the bibs here: .../Papers/pvs.bib
Sorry, no publications known so far!