@inproceedings{inproceedings, title  = {{Stochastic Specification and Verification.}},

 publisher = {{BCS}},

 url = {{http://www.informatik.uni-trier.de/~ley/db/conf/iwfm/iwfm1999.html }},

 year = {{1999}},

 month = {{1}},

 author = {{Bryans JW and Derrick J}},

 journal = {{IWFM}},

 note = {{Accessed on 2025/01/13}}}