Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642161636, 9783642161643
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains

2010 ◽  
pp. 193-211 ◽  
Author(s):  
Georgel Calin ◽  
Pepijn Crouzen ◽  
Pedro R. D’Argenio ◽  
E. Moritz Hahn ◽  
Lijun Zhang
Keyword(s):  
Input Output

scholarly journals Symbolic Object Code Analysis

2010 ◽  
pp. 4-21 ◽  
Author(s):  
Jan Tobias Mühlberg ◽  
Gerald Lüttgen
Keyword(s):  
Object Code ◽  
Code Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document