Wojtczak, Dominik 
ORCID: 0000-0001-5560-0546
(2014)
Automated Analysis of Probabilistic Infinite-state Systems.
In: 15th International Workshop on Verification of Infinite-State Systems.
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
document.pdf - Submitted version Download (92kB) |
Official URL: http://dx.doi.org/10.4204/eptcs.140.6
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 21 Jun 2016 08:54 |
| Last Modified: | 15 Mar 2024 03:33 |
| DOI: | 10.4204/eptcs.140.6 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3001779 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)