Pubblicazioni
| Autori: | Marco Beccuti |
| Giuliana Franceschinis | |
| Soheib Baarir | |
| J-m. Ilie | |
| Titolo: | Efficient lumpability check in partially symmetric systems |
| Apparso su: | QEST |
| Pagine: | 211-220 |
| Anno: | 2006 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...ty.org/10.1109/QEST.2006.17 |