Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319068794, 9783319068800
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Bisimulation on Markov Processes over Arbitrary Measurable Spaces

2014 ◽  
pp. 76-95
Author(s):  
Giorgio Bacci ◽  
Giovanni Bacci ◽  
Kim Guldstrand Larsen ◽  
Radu Mardare
Keyword(s):  
Markov Processes

scholarly journals Random Measurable Selections

2014 ◽  
pp. 343-362
Author(s):  
Jean Goubault-Larrecq ◽  
Roberto Segala
Keyword(s):  
Measurable Selections

Probabilistic Model Checking for Energy-Utility Analysis

2014 ◽  
pp. 96-123 ◽  
Author(s):  
Christel Baier ◽  
Clemens Dubslaff ◽  
Joachim Klein ◽  
Sascha Klüppelholz ◽  
Sascha Wunderlich
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Probabilistic Model Checking ◽  
Utility Analysis

TCC, with History

2014 ◽  
pp. 458-475 ◽  
Author(s):  
Vijay Saraswat ◽  
Vineet Gupta ◽  
Radha Jagadeesan
Load More ...
Sign in / Sign up

Export Citation Format

Share Document