Testing theory for probabilistic systems. Wolf, V. Lecture notes in computer science, 3472:233, SPRINGER-VERLAG, 2005. bibtex @article{wolf2005testing,
title={Testing theory for probabilistic systems},
author={Wolf, Verena},
journal={Lecture notes in computer science},
volume={3472},
pages={233},
year={2005},
publisher={SPRINGER-VERLAG}
}
Downloads: 0
{"_id":"y9gJCeDQc9HMZi3CA","bibbaseid":"wolf-testingtheoryforprobabilisticsystems-2005","downloads":0,"creationDate":"2016-02-15T09:11:34.944Z","title":"Testing theory for probabilistic systems","author_short":["Wolf, V."],"year":2005,"bibtype":"article","biburl":"https://bibbase.org/network/files/fhiujgaDPvCxL4q3R","bibdata":{"bibtype":"article","type":"article","title":"Testing theory for probabilistic systems","author":[{"propositions":[],"lastnames":["Wolf"],"firstnames":["Verena"],"suffixes":[]}],"journal":"Lecture notes in computer science","volume":"3472","pages":"233","year":"2005","publisher":"SPRINGER-VERLAG","bibtex":"@article{wolf2005testing,\n title={Testing theory for probabilistic systems},\n author={Wolf, Verena},\n journal={Lecture notes in computer science},\n volume={3472},\n pages={233},\n year={2005},\n publisher={SPRINGER-VERLAG}\n}\n\n","author_short":["Wolf, V."],"key":"wolf2005testing","id":"wolf2005testing","bibbaseid":"wolf-testingtheoryforprobabilisticsystems-2005","role":"author","urls":{},"metadata":{"authorlinks":{"wolf, v":"https://mosi.uni-saarland.de/research/"}},"downloads":0},"search_terms":["testing","theory","probabilistic","systems","wolf"],"keywords":[],"authorIDs":["2JSHphzR9aMXfhrpg","2L4b4ZnwQuv73B5W7","37HdbBj2m3Nkh284E","3bn8RTpAhuJQompAP","4XepafWNCnyKJggJc","56c19646beb11577500000dc","5de8c8b29e80cdde010000b5","5dee1ac2584fb4df010001d4","5def72e1fe2024de010001d9","5def784c45114dde01000030","5df20057e4cb4ede01000033","5df25b0a63aac8df010000e2","5df2b2e80f18f1df01000102","5df351fbd617e5de01000051","5df8f012277e45de010000d5","5dffd508903951df01000019","5e017644219bd5df010000bb","5e077b6c23a4eadf01000094","5e110100d6a01ede01000040","5e11d3a4e49b0bdf010000fc","5e12f618b3bc8bde01000047","5e1491c308c265de01000187","5e14aba8830852de010001cf","5e15ce107c179bdf01000016","5e1c50bce556c6de010000a6","5e20396202c04cde01000179","5e27fd534d75d8de010000a9","5e2a75be881468de01000016","5e30596357a222df01000194","5e31641904dccade01000039","5e37d5e056571fde01000105","5e37f795918d4ede0100000f","5e3942579d05f2df01000152","5e3ac3a5f2a00cdf01000125","5e3ae6621b85fadf01000194","5e3b1ed1ba2e16df01000147","5e3bca62657d0bdf01000113","5e3c0a610c5519de01000014","5e3c252134cd37de0100002a","5e3d2607c405ecde0100003d","5e3d7d2b96e576de01000083","5e3ff556add5fbde010000c9","5e42aec6e7bb7ede010000e5","5e42c876e7fe39df010000f6","5e440d67fdc393de01000012","5e461412b57382df01000096","5e4b18b1c59ab1f30100003b","5e4dc099682c99de01000067","5e4e622f24a828df0100001f","5e53c7b680e18ade01000037","5e568629eb2916df01000094","5e57886ccef9b7de01000076","5e57a503041daade010000cf","5e58066aa38020de010001c5","5e5ac00856d8d3de010000d0","5e5d172e342171f301000191","5e60c309951697df0100006e","5e60d265951697df01000143","5e6116c51cc34ede010000d8","5e643e6cb8c607de01000007","5e6512579eed46de010000b6","5e677e7310be53de010000e6","5vPkRx2zGhiQffXjP","6TtMsgho6wSDppwNh","8WxA6uwjhJo6odLD7","98JaeiXdv2HxQFEKS","9S35FKTyWePaJ5x7m","9mt47gcay8t83hKie","AhcymYEWBifegY4CL","BmYrqPxj6sW5pwHNn","DDgkKH53Ksy8XfhKR","EPSnKCYzzkNDEHyq5","FL8ezxaQZZZBYuD4T","H8Xrxj7DrN4QkHPGk","HBzaP4fgmyqGwTSqT","HJewbnrXADxkwwDZc","JNyKTpnnXZ5kxzjDZ","KZcjjNnxdCZQ9sqQK","KgYS9zd9BuMBCb5PG","MKx5ZKLMLuTK4LWTw","MnoXLfFMrZ8i6nrtc","NzkfwzcppmogNWRnE","P5nK2Zx3SZ2Q8yWAG","PsXxecThBh5D7rZF4","RHSemigCgD48gsAT9","RSuv4swEX8znZYMgz","TQgxfQzDwrCThY8zw","WeN4nZyFq5wrPoKb9","XAmffxtZxqtCChE8u","Z9jGABBnTwgassRhN","aREfimpNh5nWumoEY","b4eyWwxu5YD9Njbjn","b7rjFDpbs5yJAbQMd","br99rgN3BYzevMxJp","c4SNCwY65SKJYnNjq","dFTumeodwCHErzMoP","e5cw5zgpGd7opjpJ4","eYnBGfp4dWbWcZihs","ez3SsrxfcDDtEyoMt","h6LPYjpPJ4SdurGuG","hWSu9q8ztgeKssmpF","k9dznnghpeGhCbHYL","knrm4atj2HBGQ9uqK","m5ip4qkKS79K8nLjs","mvKJv9ye44jNvfeWy","o5X9j29yJAZig9h2X","rChapC4kq8gsdFiAo","uuLPyGS8owPyR3J6M","vKi6pAJqjiYfvDYug","vW99GmyFh4asaoA3q","wNxNYy9ppNmGMGGeD","wnoSjfmoWAf2Dn9B5","zCHvrhM4d6nyN2j9k"],"dataSources":["me3WD7pwWySxCKW8s","ya2CyA73rpZseyrZ8","5u2EFGtZ3pCiduxDD","dXRJbWa2wiNDJKxYE","qA8W3BSHDuk7cCNvk","2252seNhipfTmjEBQ"]}