Matches in DBpedia 2016-04 for { <http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf author "Christoph Walther and Stephan Schweitzer".
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf institution "TU Darmstadt".
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf isCitedBy Christoph_Walther.
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf number "VFR 02/01".
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf title "VeriFun User Guide".
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf type "Technical Report".
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf url VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf.
- VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf year "2002".