@conference {DBLP:conf/sas/GiannottiL92,
	title = {Using Abstract Interpretation for Gate splitting in LOTOS Specifications},
	booktitle = {WSA},
	year = {1992},
	pages = {194-204},
	author = {Fosca Giannotti and Diego Latella}
}
