Publikation: Introductory paper : [zu: Special section on the algorithmics of software model checking]
Lade...
Dateien
Datum
2004
Autor:innen
Dwyer, Matthew
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
DOI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published
Erschienen in
International Journal on Software Tools for Technology Transfer. 2004, 6(4), pp. 257-259. ISSN 1433-2779. Available under: doi: 10.1007/s10009-004-0168-3
Zusammenfassung
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
DWYER, Matthew, Stefan LEUE, 2004. Introductory paper : [zu: Special section on the algorithmics of software model checking]. In: International Journal on Software Tools for Technology Transfer. 2004, 6(4), pp. 257-259. ISSN 1433-2779. Available under: doi: 10.1007/s10009-004-0168-3BibTex
@article{Dwyer2004Intro-5608, year={2004}, doi={10.1007/s10009-004-0168-3}, title={Introductory paper : [zu: Special section on the algorithmics of software model checking]}, number={4}, volume={6}, issn={1433-2779}, journal={International Journal on Software Tools for Technology Transfer}, pages={257--259}, author={Dwyer, Matthew and Leue, Stefan} }
RDF
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/5608"> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5608/1/Introductory_paper.pdf"/> <dc:contributor>Dwyer, Matthew</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dc:format>application/pdf</dc:format> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5608"/> <dcterms:bibliographicCitation>First publ. in : International journal on software tools for technology transfer 6 (2004), 4, pp. 257-259</dcterms:bibliographicCitation> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:57:10Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:57:10Z</dcterms:available> <dcterms:title>Introductory paper : [zu: Special section on the algorithmics of software model checking]</dcterms:title> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:issued>2004</dcterms:issued> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5608/1/Introductory_paper.pdf"/> <dc:creator>Dwyer, Matthew</dc:creator> <dc:creator>Leue, Stefan</dc:creator> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja