Chunhan Wu

From MaRDI portal
Person:2303233

Available identifiers

zbMath Open wu.chunhanMaRDI QIDQ2303233

List of research outcomes





PublicationDate of PublicationType
Priority inheritance protocol proved correct2020-03-03Paper
A formalisation of the Myhill-Nerode theorem based on regular expressions2015-06-23Paper
A Formal Model and Correctness Proof for an Access Control Policy Framework2015-01-13Paper
Priority Inheritance Protocol Proved Correct2012-09-20Paper
A formalisation of the Myhill-Nerode theorem based on regular expressions (proof pearl)2011-08-17Paper

Research outcomes over time

This page was built for person: Chunhan Wu

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