@article {DBLP:journals/scp/GiannottiL94,
	title = {Gate Splitting in LOTOS Specifications Using Abstract Interpretation},
	journal = {Sci. Comput. Program.},
	volume = {23},
	number = {2-3},
	year = {1994},
	pages = {127-149},
	author = {Fosca Giannotti and Diego Latella}
}
@conference {DBLP:conf/tapsoft/GiannottiL93,
	title = {Gate Splitting in LOTOS Specifications Using Abstract Interpretation},
	booktitle = {TAPSOFT},
	year = {1993},
	pages = {437-452},
	author = {Fosca Giannotti and Diego Latella}
}
@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}
}
