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 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 Timed Unfoldings for Networks of Timed Automata

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

On the Membership Problem for Visibly Pushdown Languages

2006 ◽  
pp. 96-109 ◽  
Author(s):  
Salvatore La Torre ◽  
Margherita Napoli ◽  
Mimmo Parente
Keyword(s):  
Membership Problem
Load More ...
Sign in / Sign up

Export Citation Format

Share Document