Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Mark Timmer

A linear process-algebraic format with data for probabilistic automata

scientific article published in January 2012

Confluence Reduction for Markov Automata

scientific article published in 2013

Confluence Reduction for Probabilistic Systems

scientific article published in 2011

Efficient Modelling and Generation of Markov Automata

scientific article published in 2012

State Space Reduction of Linear Processes Using Control Flow Reconstruction

scientific article published in 2009

Paulina is supported by:

About Paulina

Help