Efficient lumpability check in partially symmetric systems.

Authors :: Beccuti, M.
Franceschinis, G.
Baarir, S.
Ilie, J.-M.
Source :: Third International Conference on the Quantitative Evaluation of Systems - (QEST'06); 2006, p211-220, 10p
Publication Year :: 2006

Language :: English
ISBNs :: 9780769526652
Database :: Complementary Index
Journal :: Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)
Publication Type :: Conference
Accession number :: 81297854
Full Text :: https://doi.org/10.1109/QEST.2006.17