%0 Conference Paper %1 conf/qest/BeccutiFBI06 %A Beccuti, Marco %A Franceschinis, Giuliana %A Baarir, Souheib %A Ilié, Jean-Michel %B QEST %D 2006 %I IEEE Computer Society %K dblp %P 211-220 %T Efficient lumpability check in partially symmetric systems. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BeccutiFBI06 %@ 0-7695-2665-9

@inproceedings{conf/qest/BeccutiFBI06, added-at = {2023-09-30T00:00:00.000+0200}, author = {Beccuti, Marco and Franceschinis, Giuliana and Baarir, Souheib and Ilié, Jean-Michel}, biburl = {https://www.bibsonomy.org/bibtex/21cd7e454a845d4bddf1472ca7344dfa8/dblp}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2006.17}, interhash = {b560b96f6d857b8d64dab46777f1e043}, intrahash = {1cd7e454a845d4bddf1472ca7344dfa8}, isbn = {0-7695-2665-9}, keywords = {dblp}, pages = {211-220}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:58.000+0200}, title = {Efficient lumpability check in partially symmetric systems.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BeccutiFBI06}, year = 2006 }