V. Y. Nguyen

发表

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, ESEC/SIGSOFT FSE.

Christoph Schmittner, Erwin Schoitsch, Viet Yen Nguyen, 2015, ERCIM News.

Theo C. Ruys, Viet Yen Nguyen, T. Ruys, 2008, SPIN.

Thomas Noll, Viet Yen Nguyen, Max Odenbrett, 2010, NASA Formal Methods.

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2014, Reliab. Eng. Syst. Saf..

Thomas Noll, Viet Yen Nguyen, Bernhard Ern, 2013, SAFECOMP.

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2011, Comput. J..

Viet Yen Nguyen, V. Y. Nguyen, 2007 .

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.

Joost-Pieter Katoen, Viet Yen Nguyen, Falko Dulat, 2010, EPEW.

Viet Yen Nguyen, V. Y. Nguyen, 2013 .

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, SAFECOMP.