(1)
Padawitz, P. Algebraic Model Checking.
ECEASST
2010
,
26
.