@conference {inp:LehmannLohmannWolf2012a, title = {Stubborn Sets for Simple Linear Time Properties}, booktitle = {Proceedings of 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2012)}, year = {2012}, author = {A. Lehmann and N. Lohmann and K. Wolf} }