?url_ver=Z39.88-2004&rft_id=doi%3A10.1109%2FKSE.2011.29&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Trinh%2C+Thanh+Binh&rft.aulast=Trinh&rft.aufirst=Thanh+Binh&rft.date=2011&rft.title=Refining+Undetermined+Events+for+Specifying+Concurrent+Programs&rft.btitle=2011+Third+International+Conference+on+Knowledge+and+Systems+Engineering&rft.genre=proceeding