Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-48320-9_12> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- 3-540-48320-9_12 chapter "Approximative Symbolic Model Checking of Continuous-Time Markov Chains".
- 3-540-48320-9_12 doi "10.1007/3-540-48320-9_12".
- 3-540-48320-9_12 first1 "C.".
- 3-540-48320-9_12 first2 "J. P.".
- 3-540-48320-9_12 first3 "H.".
- 3-540-48320-9_12 isCitedBy Continuous-time_Markov_chain.
- 3-540-48320-9_12 isbn "978-3-540-66425-3".
- 3-540-48320-9_12 last1 "Baier".
- 3-540-48320-9_12 last2 "Katoen".
- 3-540-48320-9_12 last3 "Hermanns".
- 3-540-48320-9_12 pages "146".
- 3-540-48320-9_12 series "Lecture Notes in Computer Science".
- 3-540-48320-9_12 title "CONCUR'99 Concurrency Theory".
- 3-540-48320-9_12 url "http://wwwneu.inf.tu-dresden.de/content/institutes/thi/algi/publikationen/texte/14_98.pdf".
- 3-540-48320-9_12 volume "1664".
- 3-540-48320-9_12 year "1999".