| 000 | 00367nas a22000857a 4500 | ||
|---|---|---|---|
| 008 | 170117s9999 xx 000 0 und d | ||
| 245 |
_aQUOVADIS: Quantitative Stochastic Models in the Verification and Design of Software Systems _h[e-journal] |
||
| 260 | _bAssociation for Computing Machinery | ||
| 856 |
_uhttp://dl.acm.org/proceedings/quovadis/ _yeSS consortium 2010 - 2010 |
||
| 999 |
_c554544 _d554544 |
||