![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
11th QAPL 2013: Rome, Italy
- Luca Bortolussi
, Herbert Wiklicky:
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013 - Ivan Gazeau, Dale Miller
, Catuscia Palamidessi
:
Preserving differential privacy under finite-precision semantics. 1-18 - Paolo Tranquilli:
Indexed Labels for Loop Iteration Dependent Costs. 19-33 - Tri Minh Ngo, Marieke Huisman
:
Quantitative Security Analysis for Multi-threaded Programs. 34-48 - Viktor Schuppan:
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. 49-65 - Tingting Han, Christian Krause, Marta Z. Kwiatkowska
, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. 66-80 - Marco Bernardo, Rocco De Nicola
, Michele Loreti
:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. 81-96 - Annabelle McIver
, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Concurrent Kleene Algebra. 97-115 - Nathalie Bertrand
, Philippe Schnoebelen:
Solving Stochastic Büchi Games on Infinite Decisive Arenas. 116-131 - Arjun Arul, Julien Reichert:
The Complexity of Robot Games on the Integer Line. 132-148
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.