Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319119359, 9783319119366
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fast Debugging of PRISM Models

2014 ◽  
pp. 146-162 ◽  
Author(s):  
Christian Dehnert ◽  
Nils Jansen ◽  
Ralf Wimmer ◽  
Erika Ábrahám ◽  
Joost-Pieter Katoen

Extensional Crisis and Proving Identity

2014 ◽  
pp. 185-200 ◽  
Author(s):  
Ashutosh Gupta ◽  
Laura Kovács ◽  
Bernhard Kragl ◽  
Andrei Voronkov

scholarly journals Modelling and Analysis of Markov Reward Automata

2014 ◽  
pp. 168-184 ◽  
Author(s):  
Dennis Guck ◽  
Mark Timmer ◽  
Hassan Hatefi ◽  
Enno Ruijters ◽  
Mariëlle Stoelinga
Keyword(s):  
Markov Reward
Load More ...
Sign in / Sign up

Export Citation Format

Share Document