Thanh-Hung Nguyen

2008
2	EE	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79
1	EE	Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635

Coauthor Index

1	Ananda Basu	[1]
2	Saddek Bensalem	[1] [2]
3	Marius Bozga	[2]
4	Matthieu Gallien	[1]
5	Félix Ingrand (François Felix Ingrand)	[1]
6	Charles Lesire	[1]
7	Joseph Sifakis	[1] [2]