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.
Col·lecció de llibres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783540273264

Any de publicació: 2005

Volum: 3571 LNAI

Pàgines: 638-649

Tipus: Aportació congrés

DOI: 10.1007/11518655_54 GOOGLE SCHOLAR
Font de les dades: Scopus