User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Refinement and Difference for Probabilistic Automata

Bibliographic reference Delahaye, Benoît ; Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel. Refinement and Difference for Probabilistic Automata.QEST 2013 - 10th International Conference Quantitative Evaluation of Systems (du 27/08/2013 au 30/08/2013). In: Quantitative Evaluation of Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg : Berlin, Heidelberg2013
Permanent URL https://hdl.handle.net/2078.1/210597