VSL 2014: VIENNA SUMMER OF LOGIC 2014

Trade-Off Analysis Meets Probabilistic Model Checking

Authors: Christel Baier, Clemens Dubslaff and Sascha Klueppelholz

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Trade-Off Analysis Meets Probabilistic Model Checking
Authors:Christel Baier, Clemens Dubslaff and Sascha Klueppelholz
Proceedings:CSL-LICS 2014 Full and Final Proceedings
Editors: Dale Miller and Laura Kovacs
Keywords:
Abstract:
Pages:10
Talk:Jul 18 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program