Verification of infinite-state systems with applications to security
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, D.C. :
IOS Press
2006.
|
| Colección: | EBSCO Academic eBook Collection Complete.
NATO security through science series. D, Information and communication security ; vol. 1. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b31812909*spi |
| Sumario: | Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop. |
|---|---|
| Notas: | Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. |
| Descripción Física: | vii, 235 p. : il |
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas and author index. |
| ISBN: | 9781423797425 9781601291271 9781607501473 |
