Artigo
Revisado por pares
A stubborn attack on state explosion
1992; Springer Science+Business Media; Volume: 1; Issue: 4 Linguagem: Inglês
10.1007/bf00709154
ISSN1572-8102
Autores Tópico(s)Security and Verification in Computing
Referência(s)