%0 Journal Article %1 journals/sosym/YeCFMW22 %A Ye, Kangfeng %A Cavalcanti, Ana %A Foster, Simon %A Miyazawa, Alvaro %A Woodcock, Jim %D 2022 %J Softw. Syst. Model. %K dblp %N 2 %P 667-716 %T Probabilistic modelling and verification using RoboChart and PRISM. %U http://dblp.uni-trier.de/db/journals/sosym/sosym21.html#YeCFMW22 %V 21

@article{journals/sosym/YeCFMW22, added-at = {2023-02-17T00:00:00.000+0100}, author = {Ye, Kangfeng and Cavalcanti, Ana and Foster, Simon and Miyazawa, Alvaro and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/28fb80222440859228e2ea9437c3d3b73/dblp}, ee = {https://doi.org/10.1007/s10270-021-00916-8}, interhash = {b057af93d0cdf844caf629f305fee9ff}, intrahash = {8fb80222440859228e2ea9437c3d3b73}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 2, pages = {667-716}, timestamp = {2024-04-08T12:54:47.000+0200}, title = {Probabilistic modelling and verification using RoboChart and PRISM.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym21.html#YeCFMW22}, volume = 21, year = 2022 }