Mark Schaefer

zbMath Openschafer.markMaRDI QIDQ1031865

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
Avoiding irreducible CSC conflicts by internal communication	2010-02-05	Paper
STG decomposition strategies in combination with unfolding	2009-10-23	Paper
Combining Decomposition and Unfolding for STG Synthesis	2009-03-11	Paper
scientific article; zbMATH DE number 5507693 (Why is no real title available?)	2009-02-12	Paper
Component refinement and CSC-solving for STG decomposition	2007-12-18	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper

Research outcomes over time

This page was built for person: Mark Schaefer