Probabilistic CTL* : the deductive way

Dimitrova, R., Ferrer Fioriti, L.M., Hermanns, H. et al. (1 more author) (2016) Probabilistic CTL* : the deductive way. In: Chechik, M. and Raskin, J.-F., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Tools and Algorithms for the Construction and Analysis of Systems, 02-08 Apr 2016, Eindhoven, The Netherlands. Lecture Notes in Computer Science (9636). Springer , pp. 280-296. ISBN 9783662496732



  • Dimitrova, R.
  • Ferrer Fioriti, L.M.
  • Hermanns, H.
  • Majumdar, R.
Copyright, Publisher and Additional Information: © 2016 Springer-Verlag. This is an author-produced version of a paper subsequently published in TACAS 2016. Uploaded in accordance with the publisher's self-archiving policy.
  • Published (online): 9 April 2016
  • Published: 9 April 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 04 Feb 2020 12:28
Last Modified: 05 Feb 2020 15:47
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:

Share / Export