Anh-Dung Phan

From MaRDI portal
Person:478377

Available identifiers

zbMath Open phan.anh-dungMaRDI QIDQ478377

List of research outcomes





PublicationDate of PublicationType
An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic2014-12-03Paper
A practical approach to model checking duration calculus using Presburger arithmetic2014-07-11Paper
Temperature phase transition model for the DNA-CNTs-based nanotweezers2013-02-11Paper

Research outcomes over time

This page was built for person: Anh-Dung Phan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:478377&oldid=10815896"
Powered by MediaWiki