Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-72522-0> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 978-3-540-72522-0 accessdate "2009-04-21".
- 978-3-540-72522-0 chapter "Tackling Large State Spaces in Performance Modelling".
- 978-3-540-72522-0 chapterurl large-state-spaces.
- 978-3-540-72522-0 date "May 2007".
- 978-3-540-72522-0 doi "10.1007/978-3-540-72522-0".
- 978-3-540-72522-0 editor1First "Ulrich".
- 978-3-540-72522-0 editor1Last "Herzog".
- 978-3-540-72522-0 isCitedBy Calculus_of_communicating_systems.
- 978-3-540-72522-0 pages "318–370".
- 978-3-540-72522-0 publisher "Springer".
- 978-3-540-72522-0 series "Lecture Notes in Computer Science".
- 978-3-540-72522-0 title "Formal Methods for Performance Evaluation".
- 978-3-540-72522-0 volume "4486".