
@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}
}
