%0 Journal Article %1 journals/sttt/HampusN24 %A Hampus, Anton %A Nyberg, Mattias %D 2024 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 207-228 %T Formally verifying decompositions of stochastic specifications. %U http://dblp.uni-trier.de/db/journals/sttt/sttt26.html#HampusN24 %V 26

@article{journals/sttt/HampusN24, added-at = {2024-03-29T00:00:00.000+0100}, author = {Hampus, Anton and Nyberg, Mattias}, biburl = {https://www.bibsonomy.org/bibtex/240ddf10c66b6e810b5af84436024c915/dblp}, ee = {https://doi.org/10.1007/s10009-024-00742-5}, interhash = {5bcd8b40288936ad677c6065db673ae7}, intrahash = {40ddf10c66b6e810b5af84436024c915}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, month = {April}, number = 2, pages = {207-228}, timestamp = {2024-04-08T20:36:37.000+0200}, title = {Formally verifying decompositions of stochastic specifications.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt26.html#HampusN24}, volume = 26, year = 2024 }