Publication:4551148
From MaRDI portal
zbMath0991.68546MaRDI QIDQ4551148
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020169
68Q60: Specification and verification (program logics, model checking, etc.)
68M12: Network protocols
Related Items
Efficient SAT-based bounded model checking for software verification, Rule-based static analysis of network protocol implementations
Uses Software