_:nbd020465cef04385b636637f7832d46axb4
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/EntryPoint>
<https://risc.jku.at/pj/analzying-real-time-systems-by-combining-temporal-logic-and-statistical-models/>