@inproceedings{SAS-2018-MidtgaardNN,
	author        = "Jan Midtgaard and Flemming Nielson and Hanne Riis Nielson",
	booktitle     = "{Proceedings of the 25th International Static Analysis Symposium}",
	doi           = "10.1007/978-3-319-99725-4_18",
	ee            = "https://www.wikidata.org/entity/Q59416284",
	isbn          = "['978-3-319-99724-7', '978-3-319-99725-4']",
	pages         = "284--305",
	publisher     = "{Springer}",
	title         = "{Process-Local Static Analysis of Synchronous Processes}",
	year          = 2018,
}