Symmetry Reduction for the Local Mu-Calculus. - Citegraph

Paper Info

Title
Symmetry Reduction for the Local Mu-Calculus.

Year	Venue	DocType
2018	European Joint Conferences on Theory And Practice of Software	Conference
Citations	PageRank	References
0	0.34	0
Authors
2

Authors (2 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Kedar S. Namjoshi	1	2	1.38
Richard J. Trefler	2	222	14.59

1