Multi-valued Model Checking in Dense-Time.

Ana Fernndez Vilas, Jos Juan Pazos-Arias, Ana Beln Barragns-Martnez, Martn Lpez Nores, Rebeca P. Daz Redondo, Alberto Gil-Solla, Jorge Garca Duque, Manuel Ramos Cabrer

Browse the full ECSQARU paper archive.