Is lazy abstraction a decision procedure for broadcast protocols?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4905 LNCS, Issue , 2008, Pages 98-111

  Dimitrova, Rayna ^a   Podelski, Andreas ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BROADCAST PROTOCOLS;

BROADCASTING; COMPUTER SIMULATION; NETWORK PROTOCOLS; PROBLEM SOLVING; VERIFICATION;

TREES (MATHEMATICS);

EID: 40549097466     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78163-9_12     Document Type: Conference Paper

References (14)