0 citations0 referencesGoogle Scholardoi.orgProperty preserving abstractions for the verification of concurrent systemsFormal Methods in System Design·1995·Vol. 6(1), pp. 11–44Citations Over TimeTop 1% of 1995 papersClaire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem, David K. ProbstRelated Papers→ PARAMETERIZED COMPLEXITY THEORY(2006)575 cited→ Parameterized counting problems(2005)24 cited→ Parameterized Counting Problems(2002)7 cited→ On the parameterized complexity of approximate counting(2011)3 cited→ Identification of Invariants of (Over)Parameterized Models(2012)