A many-valued logic with imperative semantics for incremental specification of timed models

  1. Vilas, A.F.
  2. Pazos Arias, J.J.
  3. Díaz Redondo, R.P.
  4. Solla, A.G.
  5. Duque, J.G.
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: 9783540247562

Ano de publicación: 2004

Volume: 2999

Páxinas: 382-401

Tipo: Artigo

DOI: 10.1007/978-3-540-24756-2_21 GOOGLE SCHOLAR
Fonte de datos: Scopus