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

Research areas:	Uncategorized	Year:	2004
Type of Publication:	In Proceedings
Authors:	4, 3 2
Volume:	2999
Book title:	4th International Conference on Integrated Formal Methods (IFM 2004)
Series:	Lecture Notes in Computer Science (LNCS)	Pages:	382-401
Month:	April
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", }