No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Larsen, Kim G. et al. 2017
2 LIPIcs, Volume 83, MFCS'17, Complete Volume Larsen, Kim G. et al. 2017
3 On the Metric-Based Approximate Minimization of Markov Chains Bacci, Giovanni et al. 2017
4 WNetKAT: A Weighted SDN Programming and Verification Language Larsen, Kim G. et al. 2017
5 Probabilistic Mu-Calculus: Decidability and Complete Axiomatization Larsen, Kim G. et al. 2016
6 Parametric Verification of Weighted Systems Christoffersen, Peter et al. 2015
7 Polynomial Time Decidability of Weighted Synchronization under Partial Observability Kretinsky, Jan et al. 2015
8 Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) Droste, Manfred et al. 2014
9 Synchronizing Words for Weighted and Timed Automata Doyen, Laurent et al. 2014
10 Adaptable Value-Set Analysis for Low-Level Code Brauer, Jörg et al. 2012
Current Page :
Number of result pages: 2
Number of documents: 17


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI