( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of behavioural elements of UML models using B

, и . SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, стр. 1546--1552. New York, NY, USA, ACM Press, (2005)
DOI: http://dx.doi.org/10.1145/1066677.1067024

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ninh-Thuan Truong

Ninh Pham Hoang

Pham Ninh

Truong Viet

Anh Truong

 

Другие публикации лиц с тем же именем

Verification of behavioural elements of UML models using B, и . SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, стр. 1546--1552. New York, NY, USA, ACM Press, (2005)Verification of behavioural elements of UML models using B, и . SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, стр. 1546--1552. New York, NY, USA, ACM Press, (2005)