Lecture Notes in Computer Science - Theoretical Aspects of Computing - ICTAC 2006
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540488156, 9783540488163
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stronger Reduction Criteria for Local First Search

2006 ◽  
pp. 108-122 ◽  
Author(s):  
Marcos E. Kurbán ◽  
Peter Niebert ◽  
Hongyang Qu ◽  
Walter Vogler

Bisimulation Congruences in the Calculus of Looping Sequences

2006 ◽  
pp. 93-107 ◽  
Author(s):  
Roberto Barbuti ◽  
Andrea Maggiolo-Schettini ◽  
Paolo Milazzo ◽  
Angelo Troina

Decision Procedures for the Formal Analysis of Software

2006 ◽  
pp. 366-370
Author(s):  
David Déharbe ◽  
Pascal Fontaine ◽  
Silvio Ranise ◽  
Christophe Ringeissen
Keyword(s):  
Formal Analysis ◽  
Decision Procedures

Type Safety for FJ and FGJ

2006 ◽  
pp. 257-271
Author(s):  
Shuling Wang ◽  
Quan Long ◽  
Zongyan Qiu
Keyword(s):  
Type Safety
Load More ...
Sign in / Sign up

Export Citation Format

Share Document