A Semiring-based Quantitative Analysis of Mobile Systems
Aziz, Benjamin (2005) A Semiring-based Quantitative Analysis of Mobile Systems. In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005.
Full text not available from this repository.
Access this via: https://doi.org/10.1016/j.entcs.2006.01.020
| Item Type: | Conference or Workshop Item |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 09:15 |
| Last Modified: | 13 Dec 2023 09:15 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18921 |
Actions (login required)
 |
Edit Item |