A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
Áreas de investigación: |
|
Año: | 2004 | ||||
---|---|---|---|---|---|---|---|
Tipo de publicación: | Artículo en conferencia | ||||||
Autores: | 4, 3 2 | ||||||
Volumen: | 2999 | ||||||
Título del libro: | 4th International Conference on Integrated Formal Methods (IFM 2004) | ||||||
Serie: | Lecture Notes in Computer Science (LNCS) | Páginas: | 382-401 | ||||
Mes: | Abril | ||||||
BibTex: |
|||||||