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.
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2006.
|
Colección: | NATO security through science series. Information and communication security ;
vol. 1. |
Temas: | |
Acceso en línea: | Texto completo |