Temporal Logic and Concurrent Logic Programming in Protocol Specification, Verification and Prototyping
Artigo de Conferência
- Visão geral
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 1988