Holger Schlingolff;Wolfgang Heinle
-;-
Model checking
Handbook of automated reasoning
State space analysis of Petri nets with relation-algebraic methods
Journal of Symbolic Computation