@InProceedings{Kokologiannakis2017:rcu,
	Author = "Michalis Kokologiannakis and Konstantinos Sagonas",
	Title = "Stateless Model Checking of the {Linux} Kernel's Hierarchical Read-Copy-Update ({Tree RCU})",
	Booktitle = {Proceedings of International SPIN Symposium on Model Checking of Software},
	Series = {SPIN 2017},
	Month = jul,
	Year = 2017,
	Publisher = {ACM},
	Address = {New York, NY, USA},
	url = {https://doi.org/10.1145/3092282.3092287},
	doi = {doi.org/10.1145/3092282.3092287}
}