<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/author/Droschl"><title>BibSonomy publications for /author/Droschl</title><link>BibSonomyburst/author/Droschl</link><description>BibSonomy RSS feed for /author/Droschl</description><dc:date>2012-02-15T18:27:30+01:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23293823d46948beee57b3d375ebf5212/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c534822797229812c60ca9ba033cc1bb/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/262391f66d94588c7a77cc4112fd9031b/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/253d1a4a38cf761e4e75ed1568e8aeb24/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2376630aa8a042275a7a7db86d56b8255/mgrani"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ec95290c8ee50cbd52d2e33eedcf4c5e/mgrani"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/265b28fe14cac7868e87e586cbcbf6ccf/mgrani"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29026e7c1def1353bee35aac9d9102a3c/aschmidt"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2eddf45c933ff72e89120755623150584/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2cfb71aeabe81daa956af20d4919d095f/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/212b63b1fe371c71b397972625b45395c/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/241bc99b289e9694fc12b70749fab8c4b/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/27cef3dfbe96dd544fe256e7e41b256df/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28f0c1c9cc3a7dabc32a785152f1467a0/dblp"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/23293823d46948beee57b3d375ebf5212/dblp"><title>KMap: Providing Orientation for Practitioners When Introducing Knowledge Management.</title><link>http://www.bibsonomy.org/bibtex/23293823d46948beee57b3d375ebf5212/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-07-04T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Lindstaedt&#034;&gt;Stefanie N. Lindstaedt&lt;/a&gt;, &lt;a href=&#034;/author/Strohmaier&#034;&gt;Markus Strohmaier&lt;/a&gt;, &lt;a href=&#034;/author/Rollett&#034;&gt;Herwig Rollett&lt;/a&gt;, &lt;a href=&#034;/author/Hrastnik&#034;&gt;Janez Hrastnik&lt;/a&gt;, &lt;a href=&#034;/author/Bruhnsen&#034;&gt;Karin Bruhnsen&lt;/a&gt;, &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;,  and &lt;a href=&#034;/author/Gerold&#034;&gt;Markus Gerold&lt;/a&gt; &lt;/span&gt;&lt;em&gt;PAKM, &lt;/em&gt;&lt;em&gt;volume 2569 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 2-13. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/23293823d46948beee57b3d375ebf5212/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/23293823d46948beee57b3d375ebf5212/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/pakm/pakm2002.html#LindstaedtSRHBDG02"/><swrc:date>Mon Jul 04 00:00:00 CEST 2011</swrc:date><swrc:booktitle>PAKM</swrc:booktitle><swrc:crossref>conf/pakm/2002</swrc:crossref><swrc:pages>2-13</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>KMap: Providing Orientation for Practitioners When Introducing Knowledge Management.</swrc:title><swrc:volume>2569</swrc:volume><swrc:year>2002</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1007/3-540-36277-0_2" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-00314-2" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Stefanie N. Lindstaedt"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Markus Strohmaier"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Herwig Rollett"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Janez Hrastnik"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Karin Bruhnsen"/></rdf:_5><rdf:_6><swrc:Person swrc:name="Georg Droschl"/></rdf:_6><rdf:_7><swrc:Person swrc:name="Markus Gerold"/></rdf:_7></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Dimitris Karagiannis"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ulrich Reimer"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2c534822797229812c60ca9ba033cc1bb/dblp"><title>Analyzing the Requirements of an Access Control Using VDMTools and PVS.</title><link>http://www.bibsonomy.org/bibtex/2c534822797229812c60ca9ba033cc1bb/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-06-20T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt; &lt;/span&gt;&lt;em&gt;World Congress on Formal Methods, &lt;/em&gt;&lt;em&gt;volume 1709 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 1870. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;1999&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2c534822797229812c60ca9ba033cc1bb/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2c534822797229812c60ca9ba033cc1bb/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/fm/fm1999-2.html#Droschl99"/><swrc:date>Mon Jun 20 00:00:00 CEST 2011</swrc:date><swrc:booktitle>World Congress on Formal Methods</swrc:booktitle><swrc:crossref>conf/fm/1999-2</swrc:crossref><swrc:pages>1870</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Analyzing the Requirements of an Access Control Using VDMTools and PVS.</swrc:title><swrc:volume>1709</swrc:volume><swrc:year>1999</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1007/3-540-48118-4_61" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-66588-9" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Georg Droschl"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Jeannette M. Wing"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Jim Woodcock"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Jim Davies"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/262391f66d94588c7a77cc4112fd9031b/dblp"><title>Vorteile durch eine Verschmelzung von eLearning und Knowledge Management.</title><link>http://www.bibsonomy.org/bibtex/262391f66d94588c7a77cc4112fd9031b/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-05-31T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;,  and &lt;a href=&#034;/author/Kappe&#034;&gt;Frank Kappe&lt;/a&gt; &lt;/span&gt;&lt;em&gt;GI Jahrestagung, &lt;/em&gt;&lt;em&gt;volume 19 of LNI, &lt;/em&gt;&lt;em&gt;page 299-303. &lt;/em&gt;&lt;em&gt;GI, &lt;/em&gt;(&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/262391f66d94588c7a77cc4112fd9031b/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/262391f66d94588c7a77cc4112fd9031b/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/gi/gi2002-1.html#DroschlK02"/><swrc:date>Tue May 31 00:00:00 CEST 2011</swrc:date><swrc:booktitle>GI Jahrestagung</swrc:booktitle><swrc:crossref>conf/gi/2002-1</swrc:crossref><swrc:pages>299-303</swrc:pages><swrc:publisher><swrc:Organization swrc:name="GI"/></swrc:publisher><swrc:series>LNI</swrc:series><swrc:title>Vorteile durch eine Verschmelzung von eLearning und Knowledge Management.</swrc:title><swrc:volume>19</swrc:volume><swrc:year>2002</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://subs.emis.de/LNI/Proceedings/Proceedings19/article444.html" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-88579-348-2" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Georg Droschl"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Frank Kappe"/></rdf:_2></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Sigrid E. Schubert"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Bernd Reusch"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Norbert Jesse"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/253d1a4a38cf761e4e75ed1568e8aeb24/dblp"><title>A Case Study on the Application of PVS to Requirements Analysis.</title><link>http://www.bibsonomy.org/bibtex/253d1a4a38cf761e4e75ed1568e8aeb24/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-02-15T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Australasian J. of Inf. Systems&lt;/em&gt;  (&lt;em&gt;1999&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/253d1a4a38cf761e4e75ed1568e8aeb24/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/253d1a4a38cf761e4e75ed1568e8aeb24/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/ajis/ajis6.html#Droschl99"/><swrc:date>Tue Feb 15 00:00:00 CET 2011</swrc:date><swrc:journal>Australasian J. of Inf. Systems</swrc:journal><swrc:number>2</swrc:number><swrc:title>A Case Study on the Application of PVS to Requirements Analysis.</swrc:title><swrc:volume>6</swrc:volume><swrc:year>1999</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dl.acs.org.au/index.php/ajis/article/view/298" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Georg Droschl"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2376630aa8a042275a7a7db86d56b8255/mgrani"><title>InfoSky: Visual Exploration of Large Hierarchical Document Repositories</title><link>http://www.bibsonomy.org/bibtex/2376630aa8a042275a7a7db86d56b8255/mgrani</link><dc:creator>mgrani</dc:creator><dc:date>2008-09-24T20:10:25+02:00</dc:date><dc:subject>conference myown </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Kappe&#034;&gt;Frank Kappe&lt;/a&gt;, &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;, &lt;a href=&#034;/author/Kienreich&#034;&gt;Wolfgang Kienreich&lt;/a&gt;, &lt;a href=&#034;/author/Sabol&#034;&gt;Vedran Sabol&lt;/a&gt;, &lt;a href=&#034;/author/Becker&#034;&gt;Jutta Becker&lt;/a&gt;, &lt;a href=&#034;/author/Andrews&#034;&gt;Keith Andrews&lt;/a&gt;, &lt;a href=&#034;/author/Granitzer&#034;&gt;Michael Granitzer&lt;/a&gt;, &lt;a href=&#034;/author/Tochtermann&#034;&gt;Klaus Tochtermann&lt;/a&gt;,  and &lt;a href=&#034;/author/Auer&#034;&gt;Peter Auer&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Proceedings of HCI 2003 International, Creta, Greece, &lt;/em&gt;(&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/conference"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2376630aa8a042275a7a7db86d56b8255/mgrani"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2376630aa8a042275a7a7db86d56b8255/mgrani"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Wed Sep 24 20:10:25 CEST 2008</swrc:date><swrc:booktitle>Proceedings of HCI 2003 International, Creta, Greece</swrc:booktitle><swrc:title>InfoSky: Visual Exploration of Large Hierarchical Document Repositories</swrc:title><swrc:year>2003</swrc:year><swrc:keywords>conference myown </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="2008.07.06" swrc:key="timestamp"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="mgrani" swrc:key="owner"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Frank Kappe"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Georg Droschl"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Wolfgang Kienreich"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Vedran Sabol"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Jutta Becker"/></rdf:_5><rdf:_6><swrc:Person swrc:name="Keith Andrews"/></rdf:_6><rdf:_7><swrc:Person swrc:name="Michael Granitzer"/></rdf:_7><rdf:_8><swrc:Person swrc:name="Klaus Tochtermann"/></rdf:_8><rdf:_9><swrc:Person swrc:name="Peter Auer"/></rdf:_9></rdf:Seq></swrc:author></rdf:Description></burst:publication><description>myown conferences</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2ec95290c8ee50cbd52d2e33eedcf4c5e/mgrani"><title>InfoSky: Eine neue Technologie zur Erforschung großer, hierarchischer
	Wissensräume</title><link>http://www.bibsonomy.org/bibtex/2ec95290c8ee50cbd52d2e33eedcf4c5e/mgrani</link><dc:creator>mgrani</dc:creator><dc:date>2008-09-24T20:10:25+02:00</dc:date><dc:subject>conference myown </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Kappe&#034;&gt;Frank Kappe&lt;/a&gt;, &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;, &lt;a href=&#034;/author/Kienreich&#034;&gt;Wolfgang Kienreich&lt;/a&gt;, &lt;a href=&#034;/author/Sabol&#034;&gt;Vedran Sabol&lt;/a&gt;, &lt;a href=&#034;/author/Becker&#034;&gt;Jutta Becker&lt;/a&gt;, &lt;a href=&#034;/author/Andrews&#034;&gt;Keith Andrews&lt;/a&gt;, &lt;a href=&#034;/author/Granitzer&#034;&gt;Michael Granitzer&lt;/a&gt;, &lt;a href=&#034;/author/Tochtermann&#034;&gt;Klaus Tochtermann&lt;/a&gt;,  and &lt;a href=&#034;/author/Auer&#034;&gt;Peter Auer&lt;/a&gt; &lt;/span&gt;(&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/conference"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2ec95290c8ee50cbd52d2e33eedcf4c5e/mgrani"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2ec95290c8ee50cbd52d2e33eedcf4c5e/mgrani"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Misc"/><swrc:date>Wed Sep 24 20:10:25 CEST 2008</swrc:date><swrc:booktitle>KnowTech 2002, 4. Konferenz zum Einsatz von Knowledge Management
	in Wirtschaft und Verwaltung (www.knowtech2002.de), München,Germany</swrc:booktitle><swrc:title>InfoSky: Eine neue Technologie zur Erforschung großer, hierarchischer
	Wissensräume</swrc:title><swrc:year>2002</swrc:year><swrc:keywords>conference myown </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="2008.07.06" swrc:key="timestamp"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="mgrani" swrc:key="owner"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Frank Kappe"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Georg Droschl"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Wolfgang Kienreich"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Vedran Sabol"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Jutta Becker"/></rdf:_5><rdf:_6><swrc:Person swrc:name="Keith Andrews"/></rdf:_6><rdf:_7><swrc:Person swrc:name="Michael Granitzer"/></rdf:_7><rdf:_8><swrc:Person swrc:name="Klaus Tochtermann"/></rdf:_8><rdf:_9><swrc:Person swrc:name="Peter Auer"/></rdf:_9></rdf:Seq></swrc:author></rdf:Description></burst:publication><description>myown conferences</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/265b28fe14cac7868e87e586cbcbf6ccf/mgrani"><title>The InfoSky visual explorer: exploiting hierarchical structure and
	document similarities</title><link>http://www.bibsonomy.org/bibtex/265b28fe14cac7868e87e586cbcbf6ccf/mgrani</link><dc:creator>mgrani</dc:creator><dc:date>2008-09-24T20:08:08+02:00</dc:date><dc:subject>journal myown </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Andrews&#034;&gt;Keith Andrews&lt;/a&gt;, &lt;a href=&#034;/author/Kienreich&#034;&gt;Wolfgang Kienreich&lt;/a&gt;, &lt;a href=&#034;/author/Sabol&#034;&gt;Vedran Sabol&lt;/a&gt;, &lt;a href=&#034;/author/Becker&#034;&gt;Jutta Becker&lt;/a&gt;, &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;, &lt;a href=&#034;/author/Kappe&#034;&gt;Frank Kappe&lt;/a&gt;, &lt;a href=&#034;/author/Granitzer&#034;&gt;Michael Granitzer&lt;/a&gt;, &lt;a href=&#034;/author/Auer&#034;&gt;Peter Auer&lt;/a&gt;,  and &lt;a href=&#034;/author/Tochtermann&#034;&gt;Klaus Tochtermann&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Information Visualization&lt;/em&gt; &lt;em&gt;1(3/4):166--181&lt;/em&gt; (&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/journal"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/265b28fe14cac7868e87e586cbcbf6ccf/mgrani"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/265b28fe14cac7868e87e586cbcbf6ccf/mgrani"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><swrc:date>Wed Sep 24 20:08:08 CEST 2008</swrc:date><swrc:journal>Information Visualization</swrc:journal><swrc:number>3/4</swrc:number><swrc:pages>166--181</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Palgrave Macmillan"/></swrc:publisher><swrc:title>The InfoSky visual explorer: exploiting hierarchical structure and
	document similarities</swrc:title><swrc:volume>1</swrc:volume><swrc:year>2002</swrc:year><swrc:keywords>journal myown </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="1473-8716" swrc:key="issn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1057/palgrave.ivs.9500023" swrc:key="doi"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Keith Andrews"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Wolfgang Kienreich"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Vedran Sabol"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Jutta Becker"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Georg Droschl"/></rdf:_5><rdf:_6><swrc:Person swrc:name="Frank Kappe"/></rdf:_6><rdf:_7><swrc:Person swrc:name="Michael Granitzer"/></rdf:_7><rdf:_8><swrc:Person swrc:name="Peter Auer"/></rdf:_8><rdf:_9><swrc:Person swrc:name="Klaus Tochtermann"/></rdf:_9></rdf:Seq></swrc:author></rdf:Description></burst:publication><description>journal articles mgrani myown</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/29026e7c1def1353bee35aac9d9102a3c/aschmidt"><title>AD-HOC  Work-integrated Technology-supported Teaching and Learning</title><link>http://www.bibsonomy.org/bibtex/29026e7c1def1353bee35aac9d9102a3c/aschmidt</link><dc:creator>aschmidt</dc:creator><dc:date>2007-05-22T22:23:02+02:00</dc:date><dc:subject>elearning knowledge_management lang:en </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Farmer&#034;&gt;Johannes Farmer&lt;/a&gt;, &lt;a href=&#034;/author/Lindstaedt&#034;&gt;Stefanie Lindstaedt&lt;/a&gt;, &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;,  and &lt;a href=&#034;/author/Luttenberger&#034;&gt;P. Luttenberger&lt;/a&gt; &lt;/span&gt;&lt;em&gt;5th International Conference on Organisational Knowledge, Learning,
	and Capabilities. Innsbruck, April 2-3 2004, &lt;/em&gt;(&lt;em&gt;2004&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/elearning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/knowledge_management"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/lang:en"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/29026e7c1def1353bee35aac9d9102a3c/aschmidt"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/29026e7c1def1353bee35aac9d9102a3c/aschmidt"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Tue May 22 22:23:02 CEST 2007</swrc:date><swrc:booktitle>5th International Conference on Organisational Knowledge, Learning,
	and Capabilities. Innsbruck, April 2-3 2004</swrc:booktitle><swrc:title>AD-HOC  Work-integrated Technology-supported Teaching and Learning</swrc:title><swrc:year>2004</swrc:year><swrc:keywords>elearning knowledge_management lang:en </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="aschmidt" swrc:key="owner"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Johannes Farmer"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Stefanie Lindstaedt"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Georg Droschl"/></rdf:_3><rdf:_4><swrc:Person swrc:name="P. Luttenberger"/></rdf:_4></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2eddf45c933ff72e89120755623150584/dblp"><title>MagIR: Distributed Creation, Administration and Reutilization of Multimedia Presentation Content.</title><link>http://www.bibsonomy.org/bibtex/2eddf45c933ff72e89120755623150584/dblp</link><dc:creator>dblp</dc:creator><dc:date>2005-05-31T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Kienreich&#034;&gt;Wolfgang Kienreich&lt;/a&gt;, &lt;a href=&#034;/author/Sabol&#034;&gt;Vedran Sabol&lt;/a&gt;, &lt;a href=&#034;/author/Ley&#034;&gt;Tobias Ley&lt;/a&gt;, &lt;a href=&#034;/author/Lindstaedt&#034;&gt;Stefanie N. Lindstaedt&lt;/a&gt;, &lt;a href=&#034;/author/Koronakis&#034;&gt;Philipp Koronakis&lt;/a&gt;,  and &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Wissensmanagement, &lt;/em&gt;&lt;em&gt;page 481-486. &lt;/em&gt;&lt;em&gt;DFKI, Kaiserslautern, &lt;/em&gt;(&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2eddf45c933ff72e89120755623150584/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2eddf45c933ff72e89120755623150584/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/wm/wm2005.html#KienreichSLLKD05"/><swrc:date>Tue May 31 00:00:00 CEST 2005</swrc:date><swrc:booktitle>Wissensmanagement</swrc:booktitle><swrc:crossref>conf/wm/2005</swrc:crossref><swrc:pages>481-486</swrc:pages><swrc:publisher><swrc:Organization swrc:name="DFKI, Kaiserslautern"/></swrc:publisher><swrc:title>MagIR: Distributed Creation, Administration and Reutilization of Multimedia Presentation Content.</swrc:title><swrc:year>2005</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="3-00-016020-5" swrc:key="isbn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2005-05-31" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Wolfgang Kienreich"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Vedran Sabol"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Tobias Ley"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Stefanie N. Lindstaedt"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Philipp Koronakis"/></rdf:_5><rdf:_6><swrc:Person swrc:name="Georg Droschl"/></rdf:_6></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Klaus-Dieter Althoff"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Andreas Dengel"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Ralph Bergmann"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Markus Nick"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Thomas Roth-Berghofer"/></rdf:_5></rdf:Seq></swrc:editor></rdf:Description></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2cfb71aeabe81daa956af20d4919d095f/dblp"><title>Communities of Practice: An Integrated Technology Perspective.</title><link>http://www.bibsonomy.org/bibtex/2cfb71aeabe81daa956af20d4919d095f/dblp</link><dc:creator>dblp</dc:creator><dc:date>2005-05-04T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt; &lt;/span&gt;&lt;em&gt;J. UCS&lt;/em&gt; &lt;em&gt;10(3):284-293&lt;/em&gt; (&lt;em&gt;2004&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2cfb71aeabe81daa956af20d4919d095f/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2cfb71aeabe81daa956af20d4919d095f/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/jucs/jucs10.html#Droschl04"/><swrc:date>Wed May 04 00:00:00 CEST 2005</swrc:date><swrc:journal>J. UCS</swrc:journal><swrc:number>3</swrc:number><swrc:pages>284-293</swrc:pages><swrc:title>Communities of Practice: An Integrated Technology Perspective.</swrc:title><swrc:volume>10</swrc:volume><swrc:year>2004</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://www.jucs.org/jucs_10_3/communities_of_practice_an" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2005-05-04" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Georg Droschl"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/212b63b1fe371c71b397972625b45395c/dblp"><title>On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.</title><link>http://www.bibsonomy.org/bibtex/212b63b1fe371c71b397972625b45395c/dblp</link><dc:creator>dblp</dc:creator><dc:date>2004-03-25T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt; &lt;/span&gt;&lt;em&gt;IWFM, &lt;/em&gt;&lt;em&gt;BCS, &lt;/em&gt;(&lt;em&gt;1999&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/212b63b1fe371c71b397972625b45395c/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/212b63b1fe371c71b397972625b45395c/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#Droschl99"/><swrc:date>Thu Mar 25 00:00:00 CET 2004</swrc:date><swrc:booktitle>IWFM</swrc:booktitle><swrc:crossref>conf/iwfm/1999</swrc:crossref><swrc:publisher><swrc:Organization swrc:name="BCS"/></swrc:publisher><swrc:series>Workshops in Computing</swrc:series><swrc:title>On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.</swrc:title><swrc:year>1999</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="2004-03-25" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Georg Droschl"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Andrew Butterfield"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Klemens Haegele"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/241bc99b289e9694fc12b70749fab8c4b/dblp"><title>Usage-Centered Interface Design for Knowledge Management Software.</title><link>http://www.bibsonomy.org/bibtex/241bc99b289e9694fc12b70749fab8c4b/dblp</link><dc:creator>dblp</dc:creator><dc:date>2004-03-12T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Karner&#034;&gt;Harald Karner&lt;/a&gt;,  and &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt; &lt;/span&gt;&lt;em&gt;J. UCS&lt;/em&gt; &lt;em&gt;8(6):634-643&lt;/em&gt; (&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/241bc99b289e9694fc12b70749fab8c4b/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/241bc99b289e9694fc12b70749fab8c4b/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/jucs/jucs8.html#KarnerD02"/><swrc:date>Fri Mar 12 00:00:00 CET 2004</swrc:date><swrc:journal>J. UCS</swrc:journal><swrc:number>6</swrc:number><swrc:pages>634-643</swrc:pages><swrc:title>Usage-Centered Interface Design for Knowledge Management Software.</swrc:title><swrc:volume>8</swrc:volume><swrc:year>2002</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://www.jucs.org/jucs_8_6/usage_centered_interface_design" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2004-03-12" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Harald Karner"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Georg Droschl"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/27cef3dfbe96dd544fe256e7e41b256df/dblp"><title>The InfoSky visual explorer: exploiting hierarchical structure and document similarities.</title><link>http://www.bibsonomy.org/bibtex/27cef3dfbe96dd544fe256e7e41b256df/dblp</link><dc:creator>dblp</dc:creator><dc:date>2003-06-18T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Andrews&#034;&gt;Keith Andrews&lt;/a&gt;, &lt;a href=&#034;/author/Kienreich&#034;&gt;Wolfgang Kienreich&lt;/a&gt;, &lt;a href=&#034;/author/Sabol&#034;&gt;Vedran Sabol&lt;/a&gt;, &lt;a href=&#034;/author/Becker&#034;&gt;Jutta Becker&lt;/a&gt;, &lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;, &lt;a href=&#034;/author/Kappe&#034;&gt;Frank Kappe&lt;/a&gt;, &lt;a href=&#034;/author/Granitzer&#034;&gt;Michael Granitzer&lt;/a&gt;, &lt;a href=&#034;/author/Auer&#034;&gt;Peter Auer&lt;/a&gt;,  and &lt;a href=&#034;/author/Tochtermann&#034;&gt;Klaus Tochtermann&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Information Visualization&lt;/em&gt; &lt;em&gt;1(3-4):166-181&lt;/em&gt; (&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/27cef3dfbe96dd544fe256e7e41b256df/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/27cef3dfbe96dd544fe256e7e41b256df/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/ivs/ivs1.html#AndrewsKSBDKGAT02"/><swrc:date>Wed Jun 18 00:00:00 CEST 2003</swrc:date><swrc:journal>Information Visualization</swrc:journal><swrc:number>3-4</swrc:number><swrc:pages>166-181</swrc:pages><swrc:title>The InfoSky visual explorer: exploiting hierarchical structure and document similarities.</swrc:title><swrc:volume>1</swrc:volume><swrc:year>2002</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1057/palgrave.ivs.9500023" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2003-06-18" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Keith Andrews"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Wolfgang Kienreich"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Vedran Sabol"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Jutta Becker"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Georg Droschl"/></rdf:_5><rdf:_6><swrc:Person swrc:name="Frank Kappe"/></rdf:_6><rdf:_7><swrc:Person swrc:name="Michael Granitzer"/></rdf:_7><rdf:_8><swrc:Person swrc:name="Peter Auer"/></rdf:_8><rdf:_9><swrc:Person swrc:name="Klaus Tochtermann"/></rdf:_9></rdf:Seq></swrc:author></rdf:Description></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/28f0c1c9cc3a7dabc32a785152f1467a0/dblp"><title>A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.</title><link>http://www.bibsonomy.org/bibtex/28f0c1c9cc3a7dabc32a785152f1467a0/dblp</link><dc:creator>dblp</dc:creator><dc:date>2002-01-03T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Droschl&#034;&gt;Georg Droschl&lt;/a&gt;, &lt;a href=&#034;/author/Kuhn&#034;&gt;Walter Kuhn&lt;/a&gt;, &lt;a href=&#034;/author/Sonneck&#034;&gt;Gerald Sonneck&lt;/a&gt;,  and &lt;a href=&#034;/author/Thuswald&#034;&gt;Michael Thuswald&lt;/a&gt; &lt;/span&gt;&lt;em&gt;SAFECOMP, &lt;/em&gt;&lt;em&gt;volume 1943 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 187-197. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2000&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/28f0c1c9cc3a7dabc32a785152f1467a0/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/28f0c1c9cc3a7dabc32a785152f1467a0/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/safecomp/safecomp2000.html#DroschlKST00"/><swrc:date>Thu Jan 03 00:00:00 CET 2002</swrc:date><swrc:booktitle>SAFECOMP</swrc:booktitle><swrc:crossref>conf/safecomp/2000</swrc:crossref><swrc:pages>187-197</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.</swrc:title><swrc:volume>1943</swrc:volume><swrc:year>2000</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://link.springer.de/link/service/series/0558/bibs/1943/19430187.htm" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-41186-0" swrc:key="isbn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2002-01-03" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Georg Droschl"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Walter Kuhn"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Gerald Sonneck"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Michael Thuswald"/></rdf:_4></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Floor Koornneef"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Meine van der Meulen"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description></burst:publication><description>dblp</description></item></rdf:RDF>
