This HTML5 document contains 27 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F12%3A00057431%21RIV13-GA0-14330___/hodnoceni/
n7	http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n10	http://linked.opendata.cz/ontology/domain/vavai/
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/predkladatel/
n4	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F12%3A00057431%21RIV13-GA0-14330___/hodnoceni/2013/
rdfs	http://www.w3.org/2000/01/rdf-schema#
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n12	http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n18	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdh	http://www.w3.org/2001/XMLSchema#
n11	http://linked.opendata.cz/resource/domain/vavai/sjednocenyVysledek/
n8	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6	http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n15	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:2013

rdf:type

n10:OhodnocenyVysledek

rdfs:seeAlso

http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F12%3A00057431!RIV13-GA0-14330___

dcterms:title

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

skos:notation

RIV/00216224:14330/12:00057431!RIV13-GA0-14330___

n3:bodoveHodnoceniCelehoVysledku

44.376

n3:bodovyPodilHodnoceniNaVysledku

44.376

n3:druhVysledkuVHodnoceni

n14:D

n3:duvodHodnoceni

článek ve sborníku evidovaném v databázi Scopus bodovaný podle SJR zdroje typu "Book Series" nebo "Conference Proceedings"

n3:navaznostiVysledku

n12:P%28GBP202%2F12%2FG061%29 n12:S

n3:podilHodnoceniNaVysledku

1

n3:predkladatel

n9:orjk_14330

n3:publikacniKanal

Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012

n3:rokHodnoceniVysledku

n15:2014

n3:rozsahVyrazeni

n6:0

n3:skupinaOboru

n16:04

n3:upraveneBodoveHodnoceniCelehoVysledku

34.42

n3:upravenyBodovyPodilHodnoceniNaVysledku

34.42

n3:vysledek

n18:RIV%2F00216224%3A14330%2F12%3A00057431%21RIV13-GA0-14330___

n3:vysledekDruh

n7:D

n3:domaciTvurceVysledku

n4:tvurce_Trt%C3%ADk%2C%20Marek n4:tvurce_Slab%C3%BD%2C%20Ji%C5%99%C3%AD n4:tvurce_Strej%C4%8Dek%2C%20Jan

n3:idSjednocenehoVysledku

YTejUCECRGW7K!p6+rBhNImM.bg=

n3:obor

n8:IN

n3:rokUplatneniVysledku

n15:2012

n3:sjednocenyVysledek

n11:YTejUCECRGW7K%21p6%2BrBhNImM.bg%3D