Huu-Vu Nguyen
From MaRDI portal
Person:1671141
Available identifiers
zbMath Open nguyen.huu-vuMaRDI QIDQ1671141
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| BCARET model checking for malware detection | 2019-12-12 | Paper |
| CARET analysis of multithreaded programs | 2018-09-06 | Paper |
| PeCAn: compositional verification of Petri nets made easy | 2015-12-17 | Paper |
Research outcomes over time
This page was built for person: Huu-Vu Nguyen
