Xinfeng Shu

From MaRDI portal
Person:1986562

Available identifiers

zbMath Open shu.xinfengMaRDI QIDQ1986562

List of research outcomes





PublicationDate of PublicationType
A decision procedure and complete axiomatization for projection temporal logic2020-04-08Paper
An efficient decision procedure for propositional projection temporal logic2020-02-24Paper
Extending MSVL with semaphore2016-09-02Paper
Complete axiomatization for projection temporal logic with finite time2012-01-27Paper
Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs2011-07-19Paper

Research outcomes over time

This page was built for person: Xinfeng Shu

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