# https://id.confref.org/data/confref-portal/series/rocks (confref labs, beta)
@prefix portal: <https://id.confref.org/data/confref-portal/vocab/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<https://id.confref.org/data/confref-portal/series/rocks>
    a portal:Series ;
    rdfs:label "Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems" ;
    portal:dblpId <https://dblp.org/db/conf/rocks/> ;
    portal:name "Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems" .