Nicolas Chausse

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie
Combining Model Checking and Discrete-Event Supervisor Synthesis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)