Sébastien Labbé

From MaRDI portal
Person:1019003

Available identifiers

zbMath Open labbe.sebastien.1MaRDI QIDQ1019003

List of research outcomes





PublicationDate of PublicationType
Slicing communicating automata specifications: Polynomial algorithms for model reduction2009-05-27Paper

Research outcomes over time

This page was built for person: Sébastien Labbé