?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Le%2C+Chi+Luan&rft.aulast=Le&rft.aufirst=Chi+Luan&rft.issue=2&rft.volume=32&rft.date=2016&rft.issn=0866-8612&rft.atitle=A+Framework+for+Modeling+and+Modular+Verifying+of+Component-Based+System+Designs&rft.title=VNU+Journal+of+Computer+Science+and+Communication+Engineering&rft.pages=31-42&rft.genre=article