This HTML5 document contains 53 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
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dcterms	http://purl.org/dc/terms/
n20	http://purl.org/net/nknouf/ns/bibtex#
n8	http://localhost/temp/predkladatel/
n19	http://linked.opendata.cz/resource/domain/vavai/projekt/
n18	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n12	http://linked.opendata.cz/resource/domain/vavai/subjekt/
n6	http://linked.opendata.cz/ontology/domain/vavai/
n23	https://schema.org/
s	http://schema.org/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n13	http://bibframe.org/vocab/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n17	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F12%3A00057580%21RIV13-GA0-14330___/
n5	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n22	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F00216224%3A14330%2F12%3A00057580%21RIV13-GA0-14330___

rdf:type

n6:Vysledek skos:Concept

dcterms:description

Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization

dcterms:title

Verification of Open Interactive Markov Chains Verification of Open Interactive Markov Chains

skos:prefLabel

Verification of Open Interactive Markov Chains Verification of Open Interactive Markov Chains

skos:notation

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

n6:predkladatel

n12:orjk%3A14330

n3:aktivita

n22:S n22:P n22:I

n3:aktivity

I, P(GD102/09/H042), P(GPP202/12/P612), S

n3:dodaniDat

n10:2013

n3:domaciTvurceVysledku

n18:8986371 n18:1762834 n18:3503054 n18:9668780

n3:druhVysledku

n15:D

n3:duvernostUdaju

n21:S

n3:entitaPredkladatele

n17:predkladatel

n3:idSjednocenehoVysledku

177281

n3:idVysledku

RIV/00216224:14330/12:00057580

n3:jazykVysledku

n14:eng

n3:klicovaSlova

IMC; compositional verification; synthesis; time bounded reachability; discretization

n3:klicoveSlovo

n5:IMC n5:discretization n5:time%20bounded%20reachability n5:compositional%20verification n5:synthesis

n3:kontrolniKodProRIV

[555B3A08385F]

n3:mistoKonaniAkce

Dagstuhl, Germany

n3:mistoVydani

Dagstuhl, Germany

n3:nazevZdroje

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)

n3:obor

n16:IN

n3:pocetDomacichTvurcuVysledku

4

n3:pocetTvurcuVysledku

5

n3:projekt

n19:GPP202%2F12%2FP612 n19:GD102%2F09%2FH042

n3:rokUplatneniVysledku

n10:2012

n3:tvurceVysledku

Krčál, Jan Řehák, Vojtěch Hermanns, Holger Křetínský, Jan Brázdil, Tomáš

n3:typAkce

n4:WRD

n3:zahajeniAkce

2012-01-01+01:00

s:numberOfPages

12

n13:doi

10.4230/LIPIcs.FSTTCS.2012.474

n20:hasPublisher

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

n23:isbn

9783939897477

n8:organizacniJednotka

14330