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

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540472377, 9783540472384
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Timed Unfoldings for Networks of Timed Automata

2006 ◽  
pp. 292-306 ◽  
Author(s):  
Patricia Bouyer ◽  
Serge Haddad ◽  
Pierre-Alain Reynier
Keyword(s):  
Timed Automata

scholarly journals Eager Markov Chains

2006 ◽  
pp. 24-38 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Noomene Ben Henda ◽  
Richard Mayr ◽  
Sven Sandberg
Keyword(s):  
Markov Chains

scholarly journals Towards a Model-Checker for Counter Systems

2006 ◽  
pp. 493-507 ◽  
Author(s):  
S. Demri ◽  
A. Finkel ◽  
V. Goranko ◽  
G. van Drimmelen
Keyword(s):  
Model Checker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document