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.
Collection de livres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783540247562

Année de publication: 2004

Volumen: 2999

Pages: 382-401

Type: Article

DOI: 10.1007/978-3-540-24756-2_21 GOOGLE SCHOLAR
La source de données: Scopus