Improving the consistency checking process by reusing formal verification knowledge

  1. Díaz Redondo, R.P.
  2. Pazos Arias, J.J.
  3. Vilas, A.F.
  4. Duque, J.G.
  5. Solla, A.G.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

Ano de publicación: 2003

Volume: 2890

Páxinas: 366-380

Tipo: Artigo

GOOGLE SCHOLAR
Fonte de datos: Scopus