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

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

Namespace Prefixes

PrefixIRI
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F07%3A00079196%21RIV08-AV0-67985807/hodnoceni/
dctermshttp://purl.org/dc/terms/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n15http://linked.opendata.cz/ontology/domain/vavai/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F07%3A00079196%21RIV08-AV0-67985807/hodnoceni/2012/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n5http://localhost/ontology/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:2012
rdf:type
n15:OhodnocenyVysledek
rdfs:seeAlso
http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F67985807%3A_____%2F07%3A00079196!RIV08-AV0-67985807
dcterms:title
Guaranteed Termination in the Verification of LTL Properties of Non-Linear Robust Discrete Time Hybrid Systems
skos:notation
RIV/67985807:_____/07:00079196!RIV08-AV0-67985807
n3:bodoveHodnoceniCelehoVysledku
14.486
n3:bodovyPodilHodnoceniNaVysledku
14.486
n3:druhVysledkuVHodnoceni
n16:Jimp
n3:navaznostiVysledku
n13:Z%28AV0Z10300504%29
n3:podilHodnoceniNaVysledku
1
n3:publikacniKanal
International Journal of Foundations of Computer Science
n3:rokHodnoceniVysledku
n7:2013
n3:rozsahVyrazeni
n10:0
n3:skupinaOboru
n14:03
n3:upraveneBodoveHodnoceniCelehoVysledku
14.621
n3:upravenyBodovyPodilHodnoceniNaVysledku
14.621
n3:vysledek
n17:RIV%2F67985807%3A_____%2F07%3A00079196%21RIV08-AV0-67985807
n3:vysledekDruh
n6:J
n5:zpusobPrizazeniBodu-duvodVyrazeni
J_imp článek v impaktovaném časopise
n3:domaciTvurceVysledku
n12:tvurce_Ratschan%2C%20Stefan
n3:idSjednocenehoVysledku
WHVM+X8bkI3v3GdXsjViVwRIikg=
n3:obor
n4:IN
n3:rokUplatneniVysledku
n7:2007