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.
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: 9783540247562

Any de publicació: 2004

Volum: 2999

Pàgines: 382-401

Tipus: Article

DOI: 10.1007/978-3-540-24756-2_21 GOOGLE SCHOLAR
Font de les dades: Scopus