Verifying Multiple TLA+ Configurations with Blast Artigo de Conferência

Visão geral
Identidade
Informação adicional documento
Ver Todos

autores

Somson, Paul
Manuel Alcino Pereira da Cunha

data de publicação

janeiro 1, 2025