Item Details

Print View

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures [electronic resource]

Remke, Anne
Format
EBook; Book; Online
Published
[S.l.] : Springer Berlin Heidelberg, 2014.
Description
Mode of access: World wide Web.
Notes
Title from content provider.
Copyright Not EvaluatedCopyright Not Evaluated
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01215cam a22002893u 4500
    001 u6517522
    003 SIRSI
    005 20161108062235.0
    006 m d
    007 cr n
    008 161108s2014 ||||||||s|||||||| ||||| d
    035
      
      
    a| (Sirsi) ssj0001386793
    035
      
      
    a| (WaSeSS)ssj0001386793
    040
      
      
    a| WaSeSS c| WaSeSS d| WaSeSS
    100
    1
      
    a| Remke, Anne.
    245
    1
    0
    a| Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures h| [electronic resource] / c| Remke, Anne.
    260
      
      
    a| [S.l.] : b| Springer Berlin Heidelberg, c| 2014.
    500
      
      
    a| Title from content provider.
    538
      
      
    a| Mode of access: World wide Web.
    655
      
    0
    a| Electronic books.
    700
    1
      
    a| Stoelinga, Mariëlle.
    710
    1
      
    a| SpringerLink (Online service)
    710
    2
      
    a| SpringerLINK ebooks - Computer Science (2014)
    710
    2
      
    a| SpringerLINK Lecture Notes in Computer Science
    856
    4
    0
    u| http://RE5QY4SB7X.search.serialssolutions.com/?V=1.0&L=RE5QY4SB7X&S=JCs&C=TC0001386793&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(6517522.1) w| WEB i| 6517522-1001 l| INTERNET m| UVA-LIB t| INTERNET
▾See more
▴See less

Availability

Read Online