1
Published 2006
Table of Contents: ... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...
View full text
Electronic eBook