Discounting in LTL
Shaull Almagor‚ Udi Boker and Orna Kupferman
Book Title
Tools and Algorithms for the Construction and Analysis of Systems − 20th International Conference‚ TACAS 2014‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2014‚ Grenoble‚ France‚ April 5−13‚ 2014. Proceedings
Editor
Erika Άbrahám and Klaus Havelund
ISBN
978−3−642−54861−1
Pages
424–439
Series
Lecture Notes in Computer Science
Volume
8413
Year
2014