A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models

Áreas de investigación:	Sin categoría	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:
@conference{FPDGG04, author = "4,2,3,5,12", booktitle = "4th International Conference on Integrated Formal Methods (IFM 2004)", month = "apr", pages = "382-401", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science (LNCS)", title = "{A} {M}any-{V}alued {L}ogic with {I}mperative {S}emantics for {I}ncremental {S}pecification of {T}imed {M}odels", volume = "2999", year = "2004", }