Chuanliang Xia

From MaRDI portal
Person:3431090



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!

PublicationDate of PublicationType
Liveness and boundedness analysis of Petri net synthesis
Mathematical Structures in Computer Science
2016-07-26Paper
Theory and Applications of Models of Computation
Lecture Notes in Computer Science
2007-04-30Paper
scientific article; zbMATH DE number 5140768 (Why is no real title available?)2007-04-05Paper
Petri net refinement and its application in system design2006-05-19Paper


Research outcomes over time


This page was built for person: Chuanliang Xia