Publications
| Authors: | Marco Beccuti |
| Giuliana Franceschinis | |
| Soheib Baarir | |
| J-m. Ilie | |
| Title: | Efficient lumpability check in partially symmetric systems |
| Published on: | QEST |
| Pages: | 211-220 |
| Year: | 2006 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...ty.org/10.1109/QEST.2006.17 |