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

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540236108, 9783540304760
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts

2004 ◽  
pp. 120-134 ◽  
Author(s):  
Robi Malik ◽  
David Streader ◽  
Steve Reeves
Keyword(s):  
Process Algebraic

Using Overlay Networks to Improve VoIP Reliability

2004 ◽  
pp. 392-401 ◽  
Author(s):  
M. Karol ◽  
P. Krishnan ◽  
J. J. Li
Keyword(s):  
Overlay Networks

scholarly journals Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

2004 ◽  
pp. 196-210 ◽  
Author(s):  
Serge Haddad ◽  
Jean-Michel Ilié ◽  
Kais Klai
Keyword(s):  
Model Checker

scholarly journals First-Order LTL Model Checking Using MDGs

2004 ◽  
pp. 441-455 ◽  
Author(s):  
Fang Wang ◽  
Sofiène Tahar ◽  
Otmane Ait Mohamed
Keyword(s):  
Model Checking ◽  
First Order ◽  
Ltl Model Checking

scholarly journals Typeness for ω-Regular Automata

2004 ◽  
pp. 324-338 ◽  
Author(s):  
Orna Kupferman ◽  
Gila Morgenstern ◽  
Aniello Murano

CLP Based Static Property Checking

2004 ◽  
pp. 495-498
Author(s):  
Tun Li ◽  
Yang Guo ◽  
Si-Kun Li
Load More ...
Sign in / Sign up

Export Citation Format

Share Document