?url_ver=Z39.88-2004&rft_id=doi%3A10.1109%2FSEFM.2009.24&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Truong%2C+Ninh+Thuan&rft.aulast=Truong&rft.aufirst=Ninh+Thuan&rft.date=2009&rft.title=Coordinated+Consensus+Analysis+of+Multi-agent+Systems+Using+Event-B&rft.btitle=2009+Seventh+IEEE+International+Conference+on+Software+Engineering+and+Formal+Methods&rft.genre=proceeding