Research Output 2007 2018

Filter
Paper
2017
1 Citations

The RERS 2017 Challenge and Workshop

Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., Pol, J. V. D., Howar, F. & Siegel, S. F. Jul 2017 p. 11-20 10 p.

Research output: Scientific - peer-reviewPaper

Learning systems
2012

Efficient Modelling and Generation of Markov Automata

Koutny, M. (ed.), Timmer, M., Ulidowski, I. (ed.), Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. Sep 2012 p. 364-379 16 p.

Research output: Scientific - peer-reviewPaper

Specifications
Syntactics
Linearization
Chemical analysis