default search action
14th QAPL 2016: Eindhoven, The Netherlands
- Mirco Tribastone, Herbert Wiklicky:
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 227, 2016 - Kim G. Larsen, Simon Laursen, Martin Zimmermann:
Limit Your Consumption! Finding Bounds in Average-energy Games. 1-14 - Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth:
Sound Probabilistic #SAT with Projection. 15-29 - Luca Bortolussi, Cheng Feng:
Location Aggregation of Spatial Population CTMC Models. 30-43 - Valentina Castiglioni, Daniel Gebler, Simone Tini:
Logical Characterization of Bisimulation Metrics. 44-62 - Dominic Duggan, Jianhua Yao:
Parameterized Dataflow (Extended Abstract). 63-81 - Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith:
MELA: Modelling in Ecology with Location Attributes. 82-97 - Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort:
Evaluating load balancing policies for performance and energy-efficiency. 98-117
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.