A complete protocol verification using revitalized bisimulation
Edición de la obra A complete protocol verification using revitalized bisimulation
| Autor | Kim G. Larsen |
|---|---|
| Editorial | University of Edinburgh, Laboratory for Foundations of Computer Science |
| Fecha de publicación | 1986 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 34 |
| Serie | LFCS report series -- ECS-LFCS-86-13 |
| Número de Cutter | L334c |