%0 Journal Article %1 journals/ras/0001HL23 %A Núñez, Manuel %A Hierons, Robert M. %A Lefticaru, Raluca %D 2023 %J Robotics Auton. Syst. %K dblp %P 104426 %T Implementation relations and testing for cyclic systems: Adding probabilities. %U http://dblp.uni-trier.de/db/journals/ras/ras165.html#0001HL23 %V 165

@article{journals/ras/0001HL23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Núñez, Manuel and Hierons, Robert M. and Lefticaru, Raluca}, biburl = {https://www.bibsonomy.org/bibtex/260c18be04a69d31bc20145428dc7e025/dblp}, ee = {https://doi.org/10.1016/j.robot.2023.104426}, interhash = {f39724a9a9f9c93bcd2bc0f2c304fb63}, intrahash = {60c18be04a69d31bc20145428dc7e025}, journal = {Robotics Auton. Syst.}, keywords = {dblp}, pages = 104426, timestamp = {2024-04-09T06:26:44.000+0200}, title = {Implementation relations and testing for cyclic systems: Adding probabilities.}, url = {http://dblp.uni-trier.de/db/journals/ras/ras165.html#0001HL23}, volume = 165, year = 2023 }