Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/ctmcs/embedded/

../
README.txt                                         12-Jan-2024 23:19                 700
auto                                               12-Jan-2024 23:19                1416
embedded.csl                                       12-Jan-2024 23:19                1677
embedded.sm                                        12-Jan-2024 23:19                4242