TY  - CONF

T1  - Stochastic Specification and Verification.

JO  - IWFM

UR  - http://www.informatik.uni-trier.de/~ley/db/conf/iwfm/iwfm1999.html

PY  - 1999/01/01

AU  - Bryans JW

AU  - Derrick J

ED  - Butterfield A

ED  - Haegele K

PB  - BCS

Y2  - 2024/10/23

ER  -