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

Ana Fernndez Vilas, Jos Juan Pazos-Arias, Rebeca P. Daz Redondo, Alberto Gil-Solla, Jorge Garca Duque

Browse the full IFM paper archive.