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.
Büchersammlung:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783540273264

Datum der Publikation: 2005

Ausgabe: 3571 LNAI

Seiten: 638-649

Art: Konferenz-Beitrag

DOI: 10.1007/11518655_54 GOOGLE SCHOLAR
Datenquelle: Scopus