Multi-valued model checking in dense-time

  1. Vilas, A.F.
  2. Arias, J.J.P.
  3. Martínez, A.B.B.
  4. Nores, M.L.
  5. Redondo, R.P.D.
  6. Solla, A.G.
  7. Duque, J.G.
  8. Cabrer, M.R.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783540273264

Ano de publicación: 2005

Volume: 3571 LNAI

Páxinas: 638-649

Tipo: Achega congreso

DOI: 10.1007/11518655_54 GOOGLE SCHOLAR
Fonte de datos: Scopus